cache device type strings in memorydevice-files

1 files changed, 0 insertions, 2 deletions

diff --git a/pk/pk.h b/pk/pk.h
index ced0ca3..b8e9772 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -51,8 +51,6 @@ extern uintptr_t mem_size;
 extern int have_vm;
 extern uint32_t num_harts;
 extern volatile uint32_t booted_harts_mask;
-extern uintptr_t fdt_base;
-extern size_t fdt_size;
 
 struct mainvars* parse_args(struct mainvars*);
 void printk(const char* s, ...);