IOSAPIC_RTE_HIGH  249 arch/ia64/kernel/iosapic.c 	iosapic_write(rte->iosapic, IOSAPIC_RTE_HIGH(rte_index), high32);
IOSAPIC_RTE_HIGH  369 arch/ia64/kernel/iosapic.c 		iosapic_write(iosapic, IOSAPIC_RTE_HIGH(rte_index), high32);