Symbol: __isb
sys/arch/arm64/dev/agintc.c
1357
__isb();
sys/arch/arm64/dev/agintc.c
439
__isb();
sys/arch/arm64/dev/agintc.c
802
__isb();