Searched refs:efi_arg (Results 1 – 3 of 3) sorted by relevance
56 static struct efi_boot_arg efi_arg; variable110 efi_arg.acpi_rsdp = efi_config_get_vendor_table_by_guid(&rsdp_guid_2); in efi_prepare_boot_arg()111 if (efi_arg.acpi_rsdp == NULL) { in efi_prepare_boot_arg()112 efi_arg.acpi_rsdp = in efi_prepare_boot_arg()116 if (efi_arg.acpi_rsdp != NULL) { in efi_prepare_boot_arg()117 printf("RSDP found at %p\n", efi_arg.acpi_rsdp); in efi_prepare_boot_arg()219 efi_arg.efi_systab = efi; in efi_entry()220 __asm__ volatile("movq %%cr3, %0" : "=r"(efi_arg.efi_cr3)); in efi_entry()236 :: "r"(&efi_arg), "r"(code) : "rbx"); in efi_entry()
34 void efi_init(struct efi_boot_arg *efi_arg) in efi_init() argument36 if (efi_arg == NULL) { in efi_init()40 k_mem_map_phys_bare((uint8_t **)&efi, (uintptr_t)efi_arg, in efi_init()
27 void efi_init(struct efi_boot_arg *efi_arg);
