Symbol: ARM_LOCAL_INT_TIMER
sys/arch/arm64/dev/bcm2836_intr.c
206
ARM_LOCAL_INT_TIMER(i), 0);
sys/arch/arm64/dev/bcm2836_intr.c
387
ARM_LOCAL_INT_TIMER(cpu_number()),
sys/arch/arm64/dev/bcm2836_intr.c
618
ARM_LOCAL_INT_TIMER(cpu_number()),
sys/arch/armv7/broadcom/bcm2836_intr.c
196
ARM_LOCAL_INT_TIMER(i), 0);
sys/arch/armv7/broadcom/bcm2836_intr.c
372
ARM_LOCAL_INT_TIMER(i), sc->sc_bcm_intc_imask[3][new]);