251 	EFI_ENTRY("0x%zx", new_tpl);  in efi_raise_tpl()
274 	EFI_ENTRY("0x%zx", old_tpl);  in efi_restore_tpl()
309 	EFI_ENTRY("%d, %d, 0x%zx, %p", type, memory_type, pages, memory);  in efi_allocate_pages_ext()
330 	EFI_ENTRY("%" PRIx64 ", 0x%zx", memory, pages);  in efi_free_pages_ext()
359 	EFI_ENTRY("%p, %p, %p, %p, %p", memory_map_size, memory_map,  in efi_get_memory_map_ext()
384 	EFI_ENTRY("%d, %zd, %p", pool_type, size, buffer);  in efi_allocate_pool_ext()
403 	EFI_ENTRY("%p", buffer);  in efi_free_pool_ext()
639 	EFI_ENTRY("%d, 0x%zx, %p, %p, %pUl", type, notify_tpl, notify_function,  in efi_create_event_ex()
666 	EFI_ENTRY("%d, 0x%zx, %p, %p", type, notify_tpl, notify_function,  in efi_create_event_ext()
764 	EFI_ENTRY("%p, %d, %" PRIx64, event, type, trigger_time);  in efi_set_timer_ext()
786 	EFI_ENTRY("%zd, %p, %p", num_events, event, index);  in efi_wait_for_event()
840 	EFI_ENTRY("%p", event);  in efi_signal_event_ext()
859 	EFI_ENTRY("%p", event);  in efi_close_event()
882 	EFI_ENTRY("%p", event);  in efi_check_event()
1003 	EFI_ENTRY("%p, %pUl, %d, %p", handle, protocol, protocol_interface_type,  in efi_install_protocol_interface()
1155 	EFI_ENTRY("%p, %pUl, %p", handle, protocol, protocol_interface);  in efi_uninstall_protocol_interface()
1209 	EFI_ENTRY("%pUl, %p, %p", protocol, event, registration);  in efi_register_protocol_notify()
1334 	EFI_ENTRY("%d, %pUl, %p, %p, %p", search_type, protocol, search_key,  in efi_locate_handle_ext()
1427 	EFI_ENTRY("%pUl, %p", guid, table);  in efi_install_configuration_table_ext()
1572 	EFI_ENTRY("%d, %p, %pD, %p, %zd, %p", boot_policy, parent_image,  in efi_load_image()
1656 	EFI_ENTRY("%p, %p, %p", image_handle, exit_data_size, exit_data);  in efi_start_image()
1732 	EFI_ENTRY("%p, %ld, %ld, %p", image_handle, exit_status,  in efi_exit()
1764 	EFI_ENTRY("%p", image_handle);  in efi_unload_image()
1807 	EFI_ENTRY("%p, %ld", image_handle, map_key);  in efi_exit_boot_services()
1876 	EFI_ENTRY("%p", count);  in efi_get_next_monotonic_count()
1893 	EFI_ENTRY("%ld", microseconds);  in efi_stall()
1916 	EFI_ENTRY("%ld, 0x%" PRIx64 ", %ld, %p", timeout, watchdog_code,  in efi_set_watchdog_timer()
1944 	EFI_ENTRY("%p, %pUl, %p, %p", handle, protocol, agent_handle,  in efi_close_protocol()
1993 	EFI_ENTRY("%p, %pUl, %p, %p", handle, protocol, entry_buffer,  in efi_open_protocol_information()
2053 	EFI_ENTRY("%p, %p, %p", handle, protocol_buffer,  in efi_protocols_per_handle()
2115 	EFI_ENTRY("%d, %pUl, %p, %p, %p", search_type, protocol, search_key,  in efi_locate_handle_buffer()
2159 	EFI_ENTRY("%pUl, %p, %p", protocol, registration, protocol_interface);  in efi_locate_protocol()
2209 	EFI_ENTRY("%pUl, %p, %p", protocol, device_path, device);  in efi_locate_device_path()
2274 	EFI_ENTRY("%p", handle);  in efi_install_multiple_protocol_interfaces()
2333 	EFI_ENTRY("%p", handle);  in efi_uninstall_multiple_protocol_interfaces()
2391 	EFI_ENTRY("%p, %ld", data, data_size);  in efi_calculate_crc32()
2410 	EFI_ENTRY("%p, %p, %ld", destination, source, (unsigned long)length);  in efi_copy_mem()
2428 	EFI_ENTRY("%p, %ld, 0x%x", buffer, (unsigned long)size, value);  in efi_set_mem()
2551 	EFI_ENTRY("%p, %pUl, %p, %p, %p, 0x%x", handle, protocol,  in efi_open_protocol()
2750 	EFI_ENTRY("%p, %p, %p, %d", controller_handle, driver_image_handle,  in efi_connect_controller()
2814 	EFI_ENTRY("%p, %pUl, %p, %p", handle, protocol, old_interface,  in efi_reinstall_protocol_interface()
2922 	EFI_ENTRY("%p, %p, %p", controller_handle, driver_image_handle,  in efi_disconnect_controller()