arm_fdt_fiq_default_handler
KASSERT(_arm_fdt_fiq_handler == arm_fdt_fiq_default_handler);
static void arm_fdt_fiq_default_handler(void *);
static void (*_arm_fdt_fiq_handler)(void *) = arm_fdt_fiq_default_handler;