Symbol: read_enabler
sys/arm64/vmm/io/vgic_v3.c
1084
*rval = read_enabler(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1110
*rval = read_enabler(hypctx, n);
sys/arm64/vmm/io/vgic_v3.c
1504
*rval = read_enabler(hypctx, 0);