Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
194 u32 vpe_ctl; in gic_local_irq_is_routable() local200 vpe_ctl = gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_CTL)); in gic_local_irq_is_routable()203 return vpe_ctl & GIC_VPE_CTL_TIMER_RTBL_MSK; in gic_local_irq_is_routable()205 return vpe_ctl & GIC_VPE_CTL_PERFCNT_RTBL_MSK; in gic_local_irq_is_routable()207 return vpe_ctl & GIC_VPE_CTL_FDC_RTBL_MSK; in gic_local_irq_is_routable()210 return vpe_ctl & GIC_VPE_CTL_SWINT_RTBL_MSK; in gic_local_irq_is_routable()