next_smach
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp_next = next_smach(dsmp, isv6);
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
if ((dsmp = next_smach(dsmp, isv6)) == NULL)
for (dsmp = next_smach(dsmp, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
for (dsmp = next_smach(NULL, isv6); dsmp != NULL;
dsmp = next_smach(dsmp, isv6)) {
dhcp_smach_t *next_smach(dhcp_smach_t *, boolean_t);