Symbol: dist_typer_read
sys/arm64/vmm/io/vgic_v3.c
207
static register_read dist_typer_read;
sys/arm64/vmm/io/vgic_v3.c
253
VGIC_REGISTER(GICD_TYPER, 4, VGIC_32_BIT, dist_typer_read,