Searched refs:acpi_rsdp (Results 1 – 1 of 1) sorted by relevance
567 char acpi_rsdp[19]; in xen_pvh_parse_preload_data() local644 snprintf(acpi_rsdp, sizeof(acpi_rsdp), "%#" PRIx64, in xen_pvh_parse_preload_data()646 kern_setenv("acpi.rsdp", acpi_rsdp); in xen_pvh_parse_preload_data()