47 	EFI_DEVICE_PATH *devpath;  in efi_lookup_image_devpath()  local
60 	EFI_DEVICE_PATH *devpath;  in efi_lookup_devpath()  local
425 efi_translate_devpath(EFI_DEVICE_PATH *devpath)  in efi_translate_devpath()
467 efi_devpath_to_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_to_name()
502 efi_devpath_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_name()
530 	EFI_DEVICE_PATH *devpath;  in efi_name_to_devpath()  local
561 void efi_devpath_free(EFI_DEVICE_PATH *devpath)  in efi_devpath_free()
568 efi_devpath_last_node(EFI_DEVICE_PATH *devpath)  in efi_devpath_last_node()
579 efi_devpath_trim(EFI_DEVICE_PATH *devpath)  in efi_devpath_trim()
600 efi_devpath_handle(EFI_DEVICE_PATH *devpath)  in efi_devpath_handle()
736 	EFI_DEVICE_PATH *media, *devpath;  in efi_devpath_to_handle()  local