632 efi_devpath_match_node(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match_node()  argument
636 	if (devpath1 == NULL || devpath2 == NULL)  in efi_devpath_match_node()
638 	if (DevicePathType(devpath1) != DevicePathType(devpath2) ||  in efi_devpath_match_node()
639 	    DevicePathSubType(devpath1) != DevicePathSubType(devpath2))  in efi_devpath_match_node()
642 	if (len != DevicePathNodeLength(devpath2))  in efi_devpath_match_node()
644 	if (memcmp(devpath1, devpath2, len) != 0)  in efi_devpath_match_node()
650 _efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2,  in _efi_devpath_match()  argument
654 	if (devpath1 == NULL || devpath2 == NULL)  in _efi_devpath_match()
660 		    IsDevicePathType(devpath2, MEDIA_DEVICE_PATH))  in _efi_devpath_match()
662 		if (!efi_devpath_match_node(devpath1, devpath2))  in _efi_devpath_match()
667 		devpath2 = NextDevicePathNode(devpath2);  in _efi_devpath_match()
675 efi_devpath_match(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_match()  argument
677 	return _efi_devpath_match(devpath1, devpath2, false);  in efi_devpath_match()
686 efi_devpath_same_disk(EFI_DEVICE_PATH *devpath1, EFI_DEVICE_PATH *devpath2)  in efi_devpath_same_disk()  argument
688 	return _efi_devpath_match(devpath1, devpath2, true);  in efi_devpath_same_disk()