Visible to Intel only — GUID: wcd1655799829840
Ixiasoft
Visible to Intel only — GUID: wcd1655799829840
Ixiasoft
7.7.3.1. System Clock Driver
void alt_tick (void)
The expectation is that alt_tick() is called in exception context.
To register the presence of a system clock driver, call the following function:
int alt_sysclk_init (alt_u32 nticks)
The input argument nticks is the number of system clock ticks per second, which is determined by your system clock driver. The return value of this function is zero on success, and nonzero otherwise.
For more information about writing interrupt service routines, refer to the Exception Handling section.