Home
last modified time | relevance | path

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

/Linux-v6.6/drivers/irqchip/
Dirq-mips-gic.c80 u32 vpe_ctl; in gic_local_irq_is_routable() local
86 vpe_ctl = read_gic_vl_ctl(); in gic_local_irq_is_routable()
89 return vpe_ctl & GIC_VX_CTL_TIMER_ROUTABLE; in gic_local_irq_is_routable()
91 return vpe_ctl & GIC_VX_CTL_PERFCNT_ROUTABLE; in gic_local_irq_is_routable()
93 return vpe_ctl & GIC_VX_CTL_FDC_ROUTABLE; in gic_local_irq_is_routable()
96 return vpe_ctl & GIC_VX_CTL_SWINT_ROUTABLE; in gic_local_irq_is_routable()