WIP-pop-3000
[akaros.git] / kern / src / syscall.c
index 0659e12..60ca4ac 100644 (file)
@@ -456,6 +456,7 @@ void set_errno(int errno)
 
 /* Callable by any function while executing a syscall (or otherwise, actually).
  */
+// XXX these are fucked - anything touching user memory
 int get_errno(void)
 {
        struct per_cpu_info *pcpui = &per_cpu_info[core_id()];