618 efi_devpath_match_node(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match_node()  argument
622 	if (devpath1 == NULL || devpath2 == NULL)  in efi_devpath_match_node()
624 	if (DevicePathType(devpath1) != DevicePathType(devpath2) ||  in efi_devpath_match_node()
625 	    DevicePathSubType(devpath1) != DevicePathSubType(devpath2))  in efi_devpath_match_node()
628 	if (len != DevicePathNodeLength(devpath2))  in efi_devpath_match_node()
630 	if (memcmp(devpath1, devpath2, len) != 0)  in efi_devpath_match_node()
636 _efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2,  in _efi_devpath_match()  argument
640 	if (devpath1 == NULL || devpath2 == NULL)  in _efi_devpath_match()
646 		    IsDevicePathType(devpath2, MEDIA_DEVICE_PATH))  in _efi_devpath_match()
648 		if (!efi_devpath_match_node(devpath1, devpath2))  in _efi_devpath_match()
653 		devpath2 = NextDevicePathNode(devpath2);  in _efi_devpath_match()
661 efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match()  argument
663 	return _efi_devpath_match(devpath1, devpath2, false);  in efi_devpath_match()
672 efi_devpath_same_disk(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_same_disk()  argument
674 	return _efi_devpath_match(devpath1, devpath2, true);  in efi_devpath_same_disk()