Symbol: redist_icpendr0_write
sys/arm64/vmm/io/vgic_v3.c
379
static register_write redist_icpendr0_write;
sys/arm64/vmm/io/vgic_v3.c
404
redist_icpendr0_write),