bcm2835_timer      47 drivers/clocksource/bcm2835_timer.c 	struct bcm2835_timer *timer = container_of(evt_dev,
bcm2835_timer      48 drivers/clocksource/bcm2835_timer.c 		struct bcm2835_timer, evt);
bcm2835_timer      56 drivers/clocksource/bcm2835_timer.c 	struct bcm2835_timer *timer = dev_id;
bcm2835_timer      75 drivers/clocksource/bcm2835_timer.c 	struct bcm2835_timer *timer;