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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dltimer.c103 sp804_config_t sp804_config = { local
110 error = sp804_init(&fvp_ltimer->sp804_timeout, ops, sp804_config);
125 sp804_config.fdt_path = SP804_TIMER2_PATH;
126 sp804_config.user_cb_event = LTIMER_OVERFLOW_EVENT;
128 error = sp804_init(&fvp_ltimer->sp804_timestamp, ops, sp804_config);

Completed in 72 milliseconds