Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
77 u32 vpe_ctl; in gic_local_irq_is_routable() local83 vpe_ctl = read_gic_vl_ctl(); in gic_local_irq_is_routable()86 return vpe_ctl & GIC_VX_CTL_TIMER_ROUTABLE; in gic_local_irq_is_routable()88 return vpe_ctl & GIC_VX_CTL_PERFCNT_ROUTABLE; in gic_local_irq_is_routable()90 return vpe_ctl & GIC_VX_CTL_FDC_ROUTABLE; in gic_local_irq_is_routable()93 return vpe_ctl & GIC_VX_CTL_SWINT_ROUTABLE; in gic_local_irq_is_routable()
