Searched refs:rsdp_paddr (Results 1 – 2 of 2) sorted by relevance
117 uint64_t rsdp_paddr; /* Physical address of the RSDP ACPI data */ member
93 pvh_bootparams.acpi_rsdp_addr = pvh_start_info.rsdp_paddr; in init_pvh_bootparams()