0 ARM: Improve documentation in arm_timer.h Signed-off-by: Russell King Ì€j/Ÿ"x