Searched refs:acpi_rsdp (Results 1 – 3 of 3) sorted by relevance
110 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()
18 void *acpi_rsdp; member
31 return efi->acpi_rsdp; in efi_get_acpi_rsdp()
