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
342 acpi_set_root(start_info->rsdp_paddr); in xen_pvh_parse_preload_data()