xen_boot_type.h 2.06 KB