Searched refs:high32 (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/arch/ia64/kernel/ |
| D | iosapic.c | 221 u32 low32, high32; in set_rte() local
251 high32 = (dest << IOSAPIC_DEST_SHIFT); in set_rte()
253 iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in set_rte()
333 u32 high32, low32; in iosapic_set_affinity() local
356 high32 = dest << IOSAPIC_DEST_SHIFT; in iosapic_set_affinity()
373 iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in iosapic_set_affinity()
|
| /Linux-v4.19/arch/x86/kvm/ |
| D | vmx.c | 6289 u32 low32, high32; in vmx_set_constant_host_state() local
6333 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()
6339 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()
6340 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()
|
