Add a printx lock
[akaros.git] / kern / include / kdebug.h
index 25ee729..b3effb4 100644 (file)
@@ -77,3 +77,6 @@ void set_printx(int mode);
 
 void debug_addr_proc(struct proc *p, unsigned long addr);
 void debug_addr_pid(int pid, unsigned long addr);
+
+void px_lock(void);
+void px_unlock(void);