Symbol: portal_dies
usr/src/cmd/isns/isnsd/isns_esi.h
97
void portal_dies(uint32_t);
usr/src/cmd/isns/isnsd/main.c
446
portal_dies((uint32_t)msg->data);