Symbol: ia64_intr_eoi
sys/arch/ia64/ia64/interrupt.c
365
ia64_intr_eoi((void *)(uintptr_t)vector);
sys/arch/ia64/ia64/interrupt.c
63
static void ia64_intr_eoi(void *);