Symbol: ICH_LR_EL2_STATE_ACTIVE
sys/arm64/vmm/io/vgic_v3.c
2147
ICH_LR_EL2_STATE_ACTIVE;
sys/arm64/vmm/io/vgic_v3.c
2207
irq->active = (lr & ICH_LR_EL2_STATE_ACTIVE) != 0;