Home
last modified time | relevance | path

Searched refs:VGIC_CONFIG_LEVEL (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm64/vmm/io/
H A Dvgic_v3.c109 #define VGIC_CONFIG_LEVEL 0x0 macro
493 irq->config = VGIC_CONFIG_LEVEL; in vgic_v3_cpuinit()
590 if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL) { in vgic_v3_irq_pending()
2000 case VGIC_CONFIG_LEVEL: in vgic_v3_check_irq()
2065 if ((irq->config & VGIC_CONFIG_MASK) == VGIC_CONFIG_LEVEL) in vgic_v3_inject_irq()