Searched refs:high32 (Results 1 – 1 of 1) sorted by relevance
4515 u32 low32, high32; in vmx_set_constant_host_state() local4556 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()4572 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()4573 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()