Symbol: daplka_timer_dispatch
usr/src/uts/common/io/ib/clients/daplt/daplt.c
178
static void daplka_timer_dispatch(void *);
usr/src/uts/common/io/ib/clients/daplt/daplt.c
1898
(void) timeout(daplka_timer_dispatch, arg, 10);
usr/src/uts/common/io/ib/clients/daplt/daplt.c
1924
daplka_timer_dispatch((void *)timerp);