Add memory clobber to RISC-V set_stack_pointer
[akaros.git] / user / parlib / debug.c
index 5c6e4ac..354589c 100644 (file)
@@ -7,7 +7,7 @@
 
 #include <ros/common.h>
 #include <parlib.h>
 
 #include <ros/common.h>
 #include <parlib.h>
-#include <rstdio.h>
+#include <stdio.h>
 
 // Collect up to BUF_SIZE characters into a buffer
 // and perform ONE system call to print all of them,
 
 // Collect up to BUF_SIZE characters into a buffer
 // and perform ONE system call to print all of them,
@@ -56,4 +56,3 @@ int ros_debug(const char *fmt, ...)
 
        return cnt;
 }
 
        return cnt;
 }
-