Rough asynchronous syscalls
[akaros.git] / inc / lib.h
index e9921b4..fb49328 100644 (file)
--- a/inc/lib.h
+++ b/inc/lib.h
@@ -34,6 +34,7 @@ char* readline(const char *buf);
 
 // syscall.c
 void   sys_cputs(const char *string, size_t len);
+void   sys_cputs_async(const char *string, size_t len);
 int    sys_cgetc(void);
 envid_t        sys_getenvid(void);
 int    sys_env_destroy(envid_t);