Symbol: reset_smach
usr/src/cmd/cmd-inet/sbin/dhcpagent/select.c
126
reset_smach(dsmp);
usr/src/cmd/cmd-inet/sbin/dhcpagent/states.h
318
void reset_smach(dhcp_smach_t *);