Searched refs:high32 (Results 1 – 2 of 2) sorted by relevance
| /openbmc/linux/arch/ia64/kernel/ |
| H A D | iosapic.c | 218 u32 low32, high32; in set_rte() local
248 high32 = (dest << IOSAPIC_DEST_SHIFT); in set_rte()
250 iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in set_rte()
330 u32 high32, low32; in iosapic_set_affinity() local
353 high32 = dest << IOSAPIC_DEST_SHIFT; in iosapic_set_affinity()
370 iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32); in iosapic_set_affinity()
|
| /openbmc/linux/arch/x86/kvm/vmx/ |
| H A D | vmx.c | 4302 u32 low32, high32; in vmx_set_constant_host_state() local
4343 rdmsr(MSR_IA32_SYSENTER_CS, low32, high32); in vmx_set_constant_host_state()
4359 rdmsr(MSR_IA32_CR_PAT, low32, high32); in vmx_set_constant_host_state()
4360 vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32)); in vmx_set_constant_host_state()
|