Searched refs:port_gettimer_t (Results 1 – 2 of 2) sorted by relevance
193 } port_gettimer_t; typedef
451 port_gettimer_t *);565 port_gettimer_t port_timer; in portfs()1164 port_gettimer_t *pgt) in port_getn()