#include #include #include #include #include #include #include #include #include int num_devs; int max_devs; char** dev_names; pid_t* dev_pids; void devfs_mount(void* args) { serdes_state state; serialize_int(0,&state); serialize_ptr(NULL,&state); rpc_return(state.buf,state.sizeorpos); free(state.buf); pthread_exit(NULL); } void open(void* args) { serdes_state state; start_deserialize(args,&state); char* path=deserialize_str(&state); rpc_deallocate_buf(args,state.sizeorpos); int i; char found=0; for (i=0;i