fix a problem with end. make uartputc() wait until h/w is ready.

1 files changed, 0 insertions, 1 deletions

diff --git a/defs.h b/defs.h
index 262da72..0e8cb52 100644
--- a/defs.h
+++ b/defs.h
@@ -179,7 +179,6 @@ int             uartgetc(void);
 
 // vm.c
 void            kvminit(void);
-void            kvmswitch(void);
 pagetable_t     uvmcreate(void);
 void            uvminit(pagetable_t, char *, uint);
 uint64          uvmalloc(pagetable_t, uint64, uint64);