Constant xen_sys::VMASST_TYPE_pae_extended_cr3

pub const VMASST_TYPE_pae_extended_cr3: u32 = 3;