Symbol: dist_icenabler_read
sys/arm64/vmm/io/vgic_v3.c
220
static register_read dist_icenabler_read;
sys/arm64/vmm/io/vgic_v3.c
273
VGIC_32_BIT, dist_icenabler_read, dist_icenabler_write),