Symbol: nuke_smach_list
usr/src/cmd/cmd-inet/sbin/dhcpagent/agent.c
401
nuke_smach_list();
usr/src/cmd/cmd-inet/sbin/dhcpagent/states.h
321
void nuke_smach_list(void);