1 files changed, 0 insertions, 10 deletions
diff --git a/pk/boot.h b/pk/boot.h
index d66cc11..d2a619d 100644
--- a/pk/boot.h
+++ b/pk/boot.h
@@ -5,7 +5,6 @@
 
 #ifndef __ASSEMBLER__
 
-#include <stdint.h>
 #include <stddef.h>
 
 typedef struct {
@@ -14,28 +13,19 @@ typedef struct {
   int is_supervisor;
   size_t phdr;
   size_t phdr_size;
-  size_t first_free_paddr;
-  size_t first_user_vaddr;
-  size_t first_vaddr_after_user;
   size_t bias;
   size_t entry;
   size_t brk_min;
   size_t brk;
   size_t brk_max;
   size_t mmap_max;
-  size_t stack_bottom;
   size_t stack_top;
   size_t t0;
 } elf_info;
 
 extern elf_info current;
 
-void prepare_supervisor_mode();
-void run_loaded_program(size_t argc, char** argv);
-void boot_loader();
-void boot_other_hart();
 void load_elf(const char* fn, elf_info* info);
-void print_logo();
 
 #endif // !__ASSEMBLER__