[okl4-developer] are there any documents about the functions implemented in the driver/ directory?

[Guanghui, Cheng]

Hello:
	In the okl4/drivers directory the file with suffix dx describes the the 
driver with lots of registers and it seems that dx file could be transmitted 
the head file of this driver. But in the c file there are lots of same 
functions for the same kind of device driver. For example: there are several 
functions for timer driver:
static void
set_timeout(struct goldfish_timer *device, uint32_t timeout)
{
}
static void
update_ticks(struct goldfish_timer *device)
{}

static uint64_t
timer_get_ticks_impl(struct timer_interface *ti, struct goldfish_timer 
*device)
{}
...
	But it is only my guess and i want to know is there any document about the 
definitions of function in the devie driver.
	Thanks.
	Best wishes.
								Cheng Guanghuiu