Symbol: ia64_intr_mask
sys/arch/ia64/ia64/interrupt.c
333
ia64_intr_mask((void *)(uintptr_t)vector);
sys/arch/ia64/ia64/interrupt.c
64
static void ia64_intr_mask(void *);