173 	EFI_ENTRY("0x%zx", new_tpl);  in efi_raise_tpl()
179 	EFI_ENTRY("0x%zx", old_tpl);  in efi_restore_tpl()
189 	EFI_ENTRY("%d, %d, 0x%lx, %p", type, memory_type, pages, memory);  in efi_allocate_pages_ext()
199 	EFI_ENTRY("%"PRIx64", 0x%lx", memory, pages);  in efi_free_pages_ext()
213 	EFI_ENTRY("%p, %p, %p, %p, %p", memory_map_size, memory_map,  in efi_get_memory_map_ext()
226 	EFI_ENTRY("%d, %ld, %p", pool_type, size, buffer);  in efi_allocate_pool_ext()
235 	EFI_ENTRY("%p", buffer);  in efi_free_pool_ext()
287 	EFI_ENTRY("%d, 0x%zx, %p, %p", type, notify_tpl, notify_function,  in efi_create_event_ext()
359 	EFI_ENTRY("%p, %d, %"PRIx64, event, type, trigger_time);  in efi_set_timer_ext()
369 	EFI_ENTRY("%ld, %p, %p", num_events, event, index);  in efi_wait_for_event()
411 	EFI_ENTRY("%p", event);  in efi_signal_event_ext()
425 	EFI_ENTRY("%p", event);  in efi_close_event()
441 	EFI_ENTRY("%p", event);  in efi_check_event()
516 	EFI_ENTRY("%p, %p, %d, %p", handle, protocol, protocol_interface_type,  in efi_install_protocol_interface_ext()
528 	EFI_ENTRY("%p, %p, %p, %p", handle, protocol, old_interface,  in efi_reinstall_protocol_interface()
577 	EFI_ENTRY("%p, %p, %p", handle, protocol, protocol_interface);  in efi_uninstall_protocol_interface_ext()
587 	EFI_ENTRY("%p, %p, %p", protocol, event, registration);  in efi_register_protocol_notify()
657 	EFI_ENTRY("%d, %p, %p, %p, %p", search_type, protocol, search_key,  in efi_locate_handle_ext()
670 	EFI_ENTRY("%pUl, %p, %p", protocol, device_path, device);  in efi_locate_device_path()
725 	EFI_ENTRY("%p, %p", guid, table);  in efi_install_configuration_table_ext()
782 	EFI_ENTRY("%d, %p, %p, %p, %ld, %p", boot_policy, parent_image,  in efi_load_image()
811 	EFI_ENTRY("%p, %p, %p", image_handle, exit_data_size, exit_data);  in efi_start_image()
838 	EFI_ENTRY("%p, %ld, %ld, %p", image_handle, exit_status,  in efi_exit()
865 	EFI_ENTRY("%p", image_handle);  in efi_unload_image()
888 	EFI_ENTRY("%p, %ld", image_handle, map_key);  in efi_exit_boot_services()
907 	EFI_ENTRY("%p", count);  in efi_get_next_monotonic_count()
914 	EFI_ENTRY("%ld", microseconds);  in efi_stall()
924 	EFI_ENTRY("%ld, 0x%"PRIx64", %ld, %p", timeout, watchdog_code,  in efi_set_watchdog_timer()
935 	EFI_ENTRY("%p, %p, %p, %d", controller_handle, driver_image_handle,  in efi_connect_controller()
944 	EFI_ENTRY("%p, %p, %p", controller_handle, driver_image_handle,  in efi_disconnect_controller()
954 	EFI_ENTRY("%p, %p, %p, %p", handle, protocol, agent_handle,  in efi_close_protocol()
964 	EFI_ENTRY("%p, %p, %p, %p", handle, protocol, entry_buffer,  in efi_open_protocol_information()
979 	EFI_ENTRY("%p, %p, %p", handle, protocol_buffer,  in efi_protocols_per_handle()
1030 	EFI_ENTRY("%d, %p, %p, %p, %p", search_type, protocol, search_key,  in efi_locate_handle_buffer()
1062 	EFI_ENTRY("%p, %p, %p", protocol, registration, protocol_interface);  in efi_locate_protocol()
1091 	EFI_ENTRY("%p", handle);  in efi_install_multiple_protocol_interfaces()
1135 	EFI_ENTRY("%p", handle);  in efi_uninstall_multiple_protocol_interfaces()
1143 	EFI_ENTRY("%p, %ld", data, data_size);  in efi_calculate_crc32()
1151 	EFI_ENTRY("%p, %p, %ld", destination, source, length);  in efi_copy_mem()
1157 	EFI_ENTRY("%p, %ld, 0x%x", buffer, size, value);  in efi_set_mem()
1170 	EFI_ENTRY("%p, %p, %p, %p, %p, 0x%x", handle, protocol,  in efi_open_protocol()