Symbol: vgic_register
sys/arm64/vmm/io/vgic_v3.c
1311
vgic_register_read(struct hypctx *hypctx, struct vgic_register *reg_list,
sys/arm64/vmm/io/vgic_v3.c
1346
vgic_register_write(struct hypctx *hypctx, struct vgic_register *reg_list,
sys/arm64/vmm/io/vgic_v3.c
250
static struct vgic_register dist_registers[] = {
sys/arm64/vmm/io/vgic_v3.c
344
static struct vgic_register redist_rd_registers[] = {
sys/arm64/vmm/io/vgic_v3.c
395
static struct vgic_register redist_sgi_registers[] = {