Symbol: redist_typer_read
sys/arm64/vmm/io/vgic_v3.c
333
static register_read redist_typer_read;
sys/arm64/vmm/io/vgic_v3.c
350
redist_typer_read, gic_ignore_write),