Symbol: ARM_LOCAL_INT_PENDING
sys/arch/arm64/dev/bcm2836_intr.c
441
ARM_LOCAL_INT_PENDING(cpu_number()));
sys/arch/armv7/broadcom/bcm2836_intr.c
425
ARM_LOCAL_INT_PENDING(0));