Searched refs:high32 (Results 1 – 1 of 1) sorted by relevance
4314 u32 low32, high32; in vmx_set_constant_host_state() local4355 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()4371 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()4372 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()