kernel/genarch/include/genarch/drivers/am335x/timer.h kernel/genarch/include/genarch/drivers/bcm2835/timer.h kernel/genarch/include/genarch/drivers/s3c24xx/timer.h