Searched refs:arm_wfxt_timer_cb (Results 1 – 1 of 1) sorted by relevance
1151 static void arm_wfxt_timer_cb(void *opaque) in arm_wfxt_timer_cb() function2407 arm_wfxt_timer_cb, cpu); in arm_cpu_realizefn()