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);
diff --git a/mp.c b/mp.c
index 5b52a98..b7ac5c3 100644
--- a/mp.c
+++ b/mp.c
@@ -17,17 +17,11 @@ int ismp;
 int ncpu;
 uchar ioapicid;
 
-int
-mpbcpu(void)
-{
-  return bcpu-cpus;
-}
-
 static uchar
 sum(uchar *addr, int len)
 {
   int i, sum;
-  
+
   sum = 0;
   for(i=0; i<len; i++)
     sum += addr[i];