46 	EFI_DEVICE_PATH *devpath;  in efi_lookup_image_devpath()  local
59 	EFI_DEVICE_PATH *devpath;  in efi_lookup_devpath()  local
424 efi_translate_devpath(EFI_DEVICE_PATH *devpath)  in efi_translate_devpath()
466 efi_devpath_to_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_to_name()
501 efi_devpath_name(EFI_DEVICE_PATH *devpath)  in efi_devpath_name()
529 	EFI_DEVICE_PATH *devpath;  in efi_name_to_devpath()  local
560 void efi_devpath_free(EFI_DEVICE_PATH *devpath)  in efi_devpath_free()
567 efi_devpath_last_node(EFI_DEVICE_PATH *devpath)  in efi_devpath_last_node()
581 efi_devpath_next_instance(EFI_DEVICE_PATH *devpath)  in efi_devpath_next_instance()
595 efi_devpath_trim(EFI_DEVICE_PATH *devpath)  in efi_devpath_trim()
616 efi_devpath_handle(EFI_DEVICE_PATH *devpath)  in efi_devpath_handle()
752 	EFI_DEVICE_PATH *media, *devpath;  in efi_devpath_to_handle()  local