Symbol: redist_icactiver0_write
sys/arm64/vmm/io/vgic_v3.c
384
static register_write redist_icactiver0_write;
sys/arm64/vmm/io/vgic_v3.c
408
redist_icactiver0_write),