pffasttimo         53 kern/uipc_domain.c void		pffasttimo(void *);
pffasttimo        120 kern/uipc_domain.c 	timeout_set(&pffast_timeout, pffasttimo, &pffast_timeout);