44 	EFI_DEVICE_PATH *devpath;  in efi_lookup_image_devpath()  local
57 	EFI_DEVICE_PATH *devpath;  in efi_lookup_devpath()  local
422 efi_translate_devpath(EFI_DEVICE_PATH *devpath)  in efi_translate_devpath()
464 efi_devpath_to_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_to_name()
499 efi_devpath_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_name()
527 	EFI_DEVICE_PATH *devpath;  in efi_name_to_devpath()  local
558 void efi_devpath_free(EFI_DEVICE_PATH *devpath)  in efi_devpath_free()
565 efi_devpath_last_node(EFI_DEVICE_PATH *devpath)  in efi_devpath_last_node()
579 efi_devpath_next_instance(EFI_DEVICE_PATH *devpath)  in efi_devpath_next_instance()
593 efi_devpath_trim(EFI_DEVICE_PATH *devpath)  in efi_devpath_trim()
614 efi_devpath_handle(EFI_DEVICE_PATH *devpath)  in efi_devpath_handle()
750 	EFI_DEVICE_PATH *media, *devpath;  in efi_devpath_to_handle()  local