Symbol: cpu_xcall_dispatch
sys/arch/arm64/arm64/intr.c
728
cpu_xcall_dispatch(ci);
sys/sys/xcall.h
80
void cpu_xcall_dispatch(struct cpu_info *);