Searched refs:efi_arg (Results 1 – 3 of 3) sorted by relevance
48 static struct efi_boot_arg efi_arg; variable102 efi_arg.acpi_rsdp = efi_config_get_vendor_table_by_guid(&rsdp_guid_2); in efi_prepare_boot_arg()103 if (efi_arg.acpi_rsdp == NULL) { in efi_prepare_boot_arg()104 efi_arg.acpi_rsdp = in efi_prepare_boot_arg()108 if (efi_arg.acpi_rsdp != NULL) { in efi_prepare_boot_arg()109 printf("RSDP found at %p\n", efi_arg.acpi_rsdp); in efi_prepare_boot_arg()185 efi_arg.efi_systab = efi; in efi_entry()186 __asm__ volatile("movq %%cr3, %0" : "=r"(efi_arg.efi_cr3)); in efi_entry()202 :: "r"(&efi_arg), "r"(code) : "rbx"); in efi_entry()
30 void efi_init(struct efi_boot_arg *efi_arg) in efi_init() argument32 if (efi_arg == NULL) { in efi_init()36 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);
