Symbol: VGIC_CONFIG_LEVEL
sys/arm64/vmm/io/vgic_v3.c
2001
case VGIC_CONFIG_LEVEL:
sys/arm64/vmm/io/vgic_v3.c
2066
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL)
sys/arm64/vmm/io/vgic_v3.c
494
irq->config = VGIC_CONFIG_LEVEL;
sys/arm64/vmm/io/vgic_v3.c
591
if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL) {