xen_boot_type_internal.h 1.13 KB