Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
161 u32 vpe_ctl; in gic_local_irq_is_routable() local167 vpe_ctl = read_gic_vl_ctl(); in gic_local_irq_is_routable()170 return vpe_ctl & GIC_VX_CTL_TIMER_ROUTABLE; in gic_local_irq_is_routable()172 return vpe_ctl & GIC_VX_CTL_PERFCNT_ROUTABLE; in gic_local_irq_is_routable()174 return vpe_ctl & GIC_VX_CTL_FDC_ROUTABLE; in gic_local_irq_is_routable()177 return vpe_ctl & GIC_VX_CTL_SWINT_ROUTABLE; in gic_local_irq_is_routable()