high32            217 arch/ia64/kernel/iosapic.c 	u32 low32, high32;
high32            247 arch/ia64/kernel/iosapic.c 	high32 = (dest << IOSAPIC_DEST_SHIFT);
high32            249 arch/ia64/kernel/iosapic.c 	iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32);
high32            329 arch/ia64/kernel/iosapic.c 	u32 high32, low32;
high32            352 arch/ia64/kernel/iosapic.c 	high32 = dest << IOSAPIC_DEST_SHIFT;
high32            369 arch/ia64/kernel/iosapic.c 		iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32);
high32           3859 arch/x86/kvm/vmx/vmx.c 	u32 low32, high32;
high32           3900 arch/x86/kvm/vmx/vmx.c 	rdmsr(MSR_IA32_SYSENTER_CS, low32, high32);
high32           3906 arch/x86/kvm/vmx/vmx.c 		rdmsr(MSR_IA32_CR_PAT, low32, high32);
high32           3907 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(HOST_IA32_PAT, low32 | ((u64) high32 << 32));