Here is the code that causes the kernel to crash: ```c #include <sys/fswait.h> int main(void) { int fds[2]; fswait(-1, fds); return 0; } ``` Fix please.
Here is the code that causes the kernel to crash:
Fix please.