/** Copyright 2004, Axel DΓΆrfler, axeld@pinc-software.de. All rights reserved.* Distributed under the terms of the MIT License.*/#include <stdlib.h>#include <unistd.h>#include <syscalls.h>extern void _IO_cleanup(void);void_exit(int status){// close all open files_IO_cleanup();// exit with status code_kern_exit_team(status);}void_Exit(int status){_exit(status);}