arm_cpu_xcall_dispatch - OpenBSD

Symbol: arm_cpu_xcall_dispatch

sys/arch/arm64/dev/agintc.c

arm_cpu_xcall_dispatch();

sys/arch/arm64/dev/ampintc.c

arm_cpu_xcall_dispatch();

sys/arch/arm64/dev/aplintc.c

arm_cpu_xcall_dispatch();

sys/arch/arm64/dev/bcm2836_intr.c

arm_cpu_xcall_dispatch();