#include <stdio.h>#include <unistd.h>#include <kernel/OS.h>#include "../driver/net_stack_driver.h"#include "ufunc.h"int main(int argc, char **argv){int fd;int rv;test_banner("Stopping Server");fd = open("/dev/" NET_STACK_DRIVER_PATH, O_RDWR);if (fd < 0)err(fd, "can't open the stack driver");rv = ioctl(fd, NET_STACK_STOP, NULL, 0);printf("ioctl to stop stack gave %d\n", rv);rv = close(fd);printf("close gave %d\n", rv);printf("Operation complete.\n");return (0);}