vpe_ctl            77 drivers/irqchip/irq-mips-gic.c 	u32 vpe_ctl;
vpe_ctl            83 drivers/irqchip/irq-mips-gic.c 	vpe_ctl = read_gic_vl_ctl();
vpe_ctl            86 drivers/irqchip/irq-mips-gic.c 		return vpe_ctl & GIC_VX_CTL_TIMER_ROUTABLE;
vpe_ctl            88 drivers/irqchip/irq-mips-gic.c 		return vpe_ctl & GIC_VX_CTL_PERFCNT_ROUTABLE;
vpe_ctl            90 drivers/irqchip/irq-mips-gic.c 		return vpe_ctl & GIC_VX_CTL_FDC_ROUTABLE;
vpe_ctl            93 drivers/irqchip/irq-mips-gic.c 		return vpe_ctl & GIC_VX_CTL_SWINT_ROUTABLE;