Searched refs:high32 (Results 1 – 2 of 2) sorted by relevance
| /arch/ia64/kernel/ |
| D | iosapic.c | 217 u32 low32, high32; in set_rte() local
247 high32 = (dest << IOSAPIC_DEST_SHIFT); in set_rte()
249 iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in set_rte()
329 u32 high32, low32; in iosapic_set_affinity() local
352 high32 = dest << IOSAPIC_DEST_SHIFT; in iosapic_set_affinity()
369 iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in iosapic_set_affinity()
|
| /arch/x86/kvm/vmx/ |
| D | vmx.c | 3960 u32 low32, high32; in vmx_set_constant_host_state() local
4001 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()
4007 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()
4008 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()
|