634 efi_devpath_match_node(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match_node()  argument
638 	if (devpath1 == NULL || devpath2 == NULL)  in efi_devpath_match_node()
640 	if (DevicePathType(devpath1) != DevicePathType(devpath2) ||  in efi_devpath_match_node()
641 	    DevicePathSubType(devpath1) != DevicePathSubType(devpath2))  in efi_devpath_match_node()
643 	len = DevicePathNodeLength(devpath1);  in efi_devpath_match_node()
646 	if (memcmp(devpath1, devpath2, len) != 0)  in efi_devpath_match_node()
652 _efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2,  in _efi_devpath_match()  argument
656 	if (devpath1 == NULL || devpath2 == NULL)  in _efi_devpath_match()
661 		    IsDevicePathType(devpath1, MEDIA_DEVICE_PATH) &&  in _efi_devpath_match()
664 		if (!efi_devpath_match_node(devpath1, devpath2))  in _efi_devpath_match()
666 		if (IsDevicePathEnd(devpath1))  in _efi_devpath_match()
668 		devpath1 = NextDevicePathNode(devpath1);  in _efi_devpath_match()
677 efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match()  argument
679 	return _efi_devpath_match(devpath1, devpath2, false);  in efi_devpath_match()
688 efi_devpath_same_disk(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_same_disk()  argument
690 	return _efi_devpath_match(devpath1, devpath2, true);  in efi_devpath_same_disk()