HelenOS sources

timer.h   41 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c #include <genarch/drivers/am335x/timer.h>
timer.h   45 kernel/arch/arm32/src/mach/gta02/gta02.c #include <genarch/drivers/s3c24xx/timer.h>
timer.h   41 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c #include <genarch/drivers/bcm2835/timer.h>
timer.h   40 kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h #include "timer.h"
timer.h   41 kernel/genarch/include/genarch/drivers/am335x/cm_per.h #include "timer.h"
timer.h   37 kernel/genarch/src/drivers/am335x/timer.c #include <genarch/drivers/am335x/timer.h>
timer.h   38 kernel/genarch/src/drivers/bcm2835/timer.c #include <genarch/drivers/bcm2835/timer.h>