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);