Symbol: port_gettimer_t
usr/src/uts/common/fs/portfs/port.c
1164
port_gettimer_t *pgt)
usr/src/uts/common/fs/portfs/port.c
451
port_gettimer_t *);
usr/src/uts/common/fs/portfs/port.c
565
port_gettimer_t port_timer;