Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
235 u32 vpe_ctl; in gic_local_irq_is_routable() local241 vpe_ctl = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_CTL)); in gic_local_irq_is_routable()244 return vpe_ctl & GIC_VPE_CTL_TIMER_RTBL_MSK; in gic_local_irq_is_routable()246 return vpe_ctl & GIC_VPE_CTL_PERFCNT_RTBL_MSK; in gic_local_irq_is_routable()248 return vpe_ctl & GIC_VPE_CTL_FDC_RTBL_MSK; in gic_local_irq_is_routable()251 return vpe_ctl & GIC_VPE_CTL_SWINT_RTBL_MSK; in gic_local_irq_is_routable()