Searched refs:bi_acpi_rsdp (Results 1 – 3 of 3) sorted by relevance
112 native_ptr_t bi_acpi_rsdp; member
1572 bi->bi_acpi_rsdp = (native_ptr_t)(uintptr_t) in dboot_multiboot_get_fwtables()1575 bi->bi_acpi_rsdp = (native_ptr_t)(uintptr_t) in dboot_multiboot_get_fwtables()1578 bi->bi_acpi_rsdp = NULL; in dboot_multiboot_get_fwtables()1965 DBG(bi->bi_acpi_rsdp); in startup_kernel()
2609 if (xbp->bi_acpi_rsdp) { in build_firmware_properties()2611 (uint64_t)(uintptr_t)xbp->bi_acpi_rsdp); in build_firmware_properties()