Searched refs:MIPSGICTimerCB (Results 1 – 2 of 2) sorted by relevance
16 typedef void MIPSGICTimerCB(void *opaque, uint32_t vp_index); typedef31 MIPSGICTimerCB *cb;45 MIPSGICTimerCB *cb);
128 MIPSGICTimerCB *cb) in mips_gictimer_init()