HelenOS sources

write_register_posted  128 kernel/genarch/src/drivers/am335x/timer.c 	write_register_posted(timer, REG_TCLR, tclr);
write_register_posted  134 kernel/genarch/src/drivers/am335x/timer.c 	write_register_posted(timer, REG_TCRR, count);
write_register_posted  135 kernel/genarch/src/drivers/am335x/timer.c 	write_register_posted(timer, REG_TLDR, count);
write_register_posted  164 kernel/genarch/src/drivers/am335x/timer.c 	write_register_posted(timer, REG_TCLR,
write_register_posted  175 kernel/genarch/src/drivers/am335x/timer.c 	write_register_posted(timer, REG_TCLR,