xen_chk_is_e820_usable
xen_chk_is_e820_usable(xen_pt_base, xen_pt_size, "page table");
xen_chk_is_e820_usable(__pa_symbol(_text),
xen_chk_is_e820_usable(__pa(xen_start_info), sizeof(*xen_start_info),
void __init xen_chk_is_e820_usable(phys_addr_t start, phys_addr_t size,