Constant MSR_IA32_VMX_EPT_VPID_CAP 

pub const MSR_IA32_VMX_EPT_VPID_CAP: u32 = 0x48c;