Symbol: agintc_run_handler
sys/arch/arm64/dev/agintc.c
1153
agintc_run_handler(ih, frame, s);
sys/arch/arm64/dev/agintc.c
1165
agintc_run_handler(ih, frame, s);