Searched refs:rsdp_paddr (Results 1 – 2 of 2) sorted by relevance
134 uint64_t rsdp_paddr; /* Physical address of the RSDP ACPI data */ member
29 return pvh_start_info.rsdp_paddr; in pvh_get_root_pointer()