Symbol: VGIC_CONFIG_EDGE
sys/arm64/vmm/io/vgic_v3.c
2003
case VGIC_CONFIG_EDGE:
sys/arm64/vmm/io/vgic_v3.c
2166
VGIC_CONFIG_EDGE) {
sys/arm64/vmm/io/vgic_v3.c
2209
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_EDGE) {
sys/arm64/vmm/io/vgic_v3.c
491
irq->config = VGIC_CONFIG_EDGE;