Constant xen_sys::VMASST_TYPE_architectural_iopl

pub const VMASST_TYPE_architectural_iopl: u32 = 4;