Symbol: dist_icactiver_write
sys/arm64/vmm/io/vgic_v3.c
233
static register_write dist_icactiver_write;
sys/arm64/vmm/io/vgic_v3.c
289
VGIC_32_BIT, dist_icactiver_read, dist_icactiver_write),