Searched refs:high32 (Results 1 – 1 of 1) sorted by relevance
4210 u32 low32, high32; in vmx_set_constant_host_state() local 4251 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state() 4267 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state() 4268 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()