server_data
main_servproc(void *server_data, char *argp, size_t arg_size,
server_data_t server_data;
server_door = door_create(main_servproc, (void *)&server_data, 0);
server_data.sd_door = server_door;
server_data.sd_fd = server_fd;
server_data.sd_init_state = INIT_DONE;
(void) mutex_lock(&server_data.sd_init_lock);
if (server_data.sd_init_state == INIT_NOT_DONE) {
server_data.sd_init_state = INIT_IN_PROGRESS;
if (server_data.sd_init_state != INIT_DONE) {
"init_state=%d\n", server_data.sd_init_state);
server_data.sd_init_state = INIT_NOT_DONE;
(void) mutex_unlock(&server_data.sd_init_lock);
(void) mutex_unlock(&server_data.sd_init_lock);