#include #include "syscall.h" #include "libc.h" int pause(void) { return syscall_cp(SYS_pause); }