Searched refs:acpi_rsdp (Results 1 – 3 of 3) sorted by relevance
101 efi_arg.acpi_rsdp = efi_config_get_vendor_table_by_guid(&rsdp_guid_2); in efi_prepare_boot_arg()102 if (efi_arg.acpi_rsdp == NULL) { in efi_prepare_boot_arg()103 efi_arg.acpi_rsdp = in efi_prepare_boot_arg()107 if (efi_arg.acpi_rsdp != NULL) { in efi_prepare_boot_arg()108 printf("RSDP found at %p\n", efi_arg.acpi_rsdp); in efi_prepare_boot_arg()
18 void *acpi_rsdp; member
27 return efi->acpi_rsdp; in efi_get_acpi_rsdp()
