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()
641 	len = DevicePathNodeLength(devpath1);  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()
659 		    IsDevicePathType(devpath1, MEDIA_DEVICE_PATH) &&  in _efi_devpath_match()
662 		if (!efi_devpath_match_node(devpath1, devpath2))  in _efi_devpath_match()
664 		if (IsDevicePathEnd(devpath1))  in _efi_devpath_match()
666 		devpath1 = NextDevicePathNode(devpath1);  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()