Searched refs:vpe_ctl (Results 1 – 1 of 1) sorted by relevance
36 unsigned int vpe_ctl; in vpe_local_setup() local46 GICREAD(GIC_REG(VPE_OTHER, GIC_VPE_CTL), vpe_ctl); in vpe_local_setup()47 if (vpe_ctl & GIC_VPE_CTL_TIMER_RTBL_MSK) in vpe_local_setup()51 if (vpe_ctl & GIC_VPE_CTL_PERFCNT_RTBL_MSK) in vpe_local_setup()