pub const MODLIST_START: u64 = 0x6040;
Starting address of array of modules of hvm_modlist_entry type. Used to enable initrd support using the PVH boot ABI.