add pcb stop syscall and scheduler dequeueingHEADmain

1 files changed, 1 insertions, 5 deletions

diff --git a/hal/obj.h b/hal/obj.h
index befbc24..180b830 100644
--- a/hal/obj.h
+++ b/hal/obj.h
@@ -10,11 +10,6 @@
 #include "arch/x86_64/hal/obj.h"
 #endif
 
-typedef struct jove_objdir
-{
-    jove_obj_t entries[OBJDIR_ENTRIES];
-} jove_objdir_t;
-
 /*Locks the mutex of the kernel object provided. Returns the locked version. */
 jove_owned_obj_t *obj_take(jove_obj_t *obj);
 jove_owned_obj_t *obj_trytake(jove_obj_t *obj);
@@ -36,4 +31,5 @@ void obj_setvalue(jove_owned_obj_t *obj, uintmax_t value);
 
 bool obj_compare(jove_obj_t *a, jove_obj_t *b);
 
+
 #endif