Searched refs:clk_ctl (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/src/plat/apq8064/machine/
H A Dtimer.c22 uint32_t clk_ctl; /* +0x034 */ member in struct:timer

Completed in 80 milliseconds