arch_efi_call_virt
status = arch_efi_call_virt(efi.runtime, set_virtual_address_map,
status = arch_efi_call_virt(args, ACPI_PRM_HANDLER.acpi_prm_handler,
arch_efi_call_virt(efi.runtime, f, args)
arch_efi_call_virt(efi.runtime, reset_system, reset_type, status,
__s = arch_efi_call_virt(p, f, args); \