1 files changed, 0 insertions, 4 deletions
diff --git a/defs.h b/defs.h
index b47372b..34ed633 100644
--- a/defs.h
+++ b/defs.h
@@ -88,9 +88,7 @@ void            end_op();
 
 // mp.c
 extern int      ismp;
-int             mpbcpu(void);
 void            mpinit(void);
-void            mpstartthem(void);
 
 // picirq.c
 void            picenable(int);
@@ -104,7 +102,6 @@ int             pipewrite(struct pipe*, char*, int);
 
 //PAGEBREAK: 16
 // proc.c
-struct proc*    copyproc(struct proc*);
 void            exit(void);
 int             fork(void);
 int             growproc(int);
@@ -165,7 +162,6 @@ void            uartputc(int);
 // vm.c
 void            seginit(void);
 void            kvmalloc(void);
-void            vmenable(void);
 pde_t*          setupkvm(void);
 char*           uva2ka(pde_t*, char*);
 int             allocuvm(pde_t*, uint, uint);