rsdp_paddr         29 arch/x86/platform/pvh/enlighten.c 	return pvh_start_info.rsdp_paddr;
rsdp_paddr        134 include/xen/interface/hvm/start_info.h     uint64_t rsdp_paddr;        /* Physical address of the RSDP ACPI data    */