Symbol: redist_isactiver0_write
sys/arm64/vmm/io/vgic_v3.c
382
static register_write redist_isactiver0_write;
sys/arm64/vmm/io/vgic_v3.c
406
redist_isactiver0_write),