#ifndef MINIOS_KERN_WAIT_H #define MINIOS_KERN_WAIT_H #include ssize_t kern_wait(int *wstatus); #endif /* MINIOS_KERN_WAIT_H */