LOCAL_TIMER_INT_CONTROL0   44 drivers/irqchip/irq-bcm2836.c 	bcm2836_arm_irqchip_mask_per_cpu_irq(LOCAL_TIMER_INT_CONTROL0,
LOCAL_TIMER_INT_CONTROL0   51 drivers/irqchip/irq-bcm2836.c 	bcm2836_arm_irqchip_unmask_per_cpu_irq(LOCAL_TIMER_INT_CONTROL0,