Constant VMCS_GUEST_IA32_PAT 

pub const VMCS_GUEST_IA32_PAT: uint32_t = 0x00002804;