Searched refs:high32 (Results 1 – 2 of 2) sorted by relevance
| /linux-4.1.27/arch/ia64/kernel/ |
| D | iosapic.c | 220 u32 low32, high32; in set_rte() local
250 high32 = (dest << IOSAPIC_DEST_SHIFT); in set_rte()
252 iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in set_rte()
332 u32 high32, low32; in iosapic_set_affinity() local
355 high32 = dest << IOSAPIC_DEST_SHIFT; in iosapic_set_affinity()
372 iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in iosapic_set_affinity()
|
| /linux-4.1.27/arch/x86/kvm/ |
| D | vmx.c | 4482 u32 low32, high32; in vmx_set_constant_host_state() local
4517 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()
4523 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()
4524 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()
|