Symbol: read_activer
sys/arm64/vmm/io/vgic_v3.c
1189
*rval = read_activer(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1216
*rval = read_activer(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1558
*rval = read_activer(hypctx, 0);