Add READ_ONCE and WRITE_ONCE (XCC)
[akaros.git] / kern / include / kthread.h
index 863a983..21d43dd 100644 (file)
@@ -113,9 +113,6 @@ static inline bool is_ktask(struct kthread *kthread)
        return kthread->flags & KTH_IS_KTASK;
 }
 
-/* Debugging */
-void check_poison(char *msg);
-
 void sem_init(struct semaphore *sem, int signals);
 void sem_init_irqsave(struct semaphore *sem, int signals);
 bool sem_trydown(struct semaphore *sem);
@@ -124,8 +121,7 @@ bool sem_up(struct semaphore *sem);
 bool sem_trydown_irqsave(struct semaphore *sem, int8_t *irq_state);
 void sem_down_irqsave(struct semaphore *sem, int8_t *irq_state);
 bool sem_up_irqsave(struct semaphore *sem, int8_t *irq_state);
-void print_sem_info(struct semaphore *sem);
-void print_all_sem_info(void);
+void print_all_sem_info(pid_t pid);
 
 void cv_init(struct cond_var *cv);
 void cv_init_irqsave(struct cond_var *cv);