[U-Boot] timer interface

[Roman Mashak]

Hello

I'm in the process of porting U-Boot on arm926ej-s based board and now
approached to timer configuration. This is my understanding that
U-Boot has its timer interface, API, which shoudl be consistently used
across the boards:

timer_init() / reset_timer()
get_timer() / set_timer()
udelay()

This is what I observed in CPU-specific code. So my questions are:

- I have not found out how these routines are used in ARM part of
U-Boot. For instance, set_timer() defined in
$(UBOOT)/cpu//arm926ejs/versatile/timer.c is not invoked anywhere.
Does it mean  set_timer() is not mandatory part of timer's interface?

- Now, what are reset_timer_masked() and other *_masked() for?
- Is it required to customize 'udelay()' routine fo revery ARM-based
platform or there's a basic skeleton to use?

Thanks.

--
Roman Mashak