HelenOS sources

BCM2835_CLOCK_FREQ   47 kernel/genarch/src/drivers/bcm2835/timer.c 	timer->c1 = timer->clo + (BCM2835_CLOCK_FREQ / HZ);
BCM2835_CLOCK_FREQ   56 kernel/genarch/src/drivers/bcm2835/timer.c 	timer->c1 = timer->clo + (BCM2835_CLOCK_FREQ / HZ);