Searched refs:acpi_rsdp (Results 1 – 5 of 5) 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
14 struct acpi_rsdp { struct
27 return efi->acpi_rsdp; in efi_get_acpi_rsdp()
9 static struct acpi_rsdp *rsdp;43 search_length = sizeof(struct acpi_rsdp); in find_rsdp()45 rsdp = (struct acpi_rsdp *)search; in find_rsdp()
