Symbol: agintc_ipi_halt
sys/arch/arm64/dev/agintc.c
1432
agintc_ipi_halt(v);
sys/arch/arm64/dev/agintc.c
265
int agintc_ipi_halt(void *v);