Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
80 u32 vpe_ctl; in gic_local_irq_is_routable() local86 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()