Map the kernel to the higher half

source/device_tree.elna

@@ -23,9 +23,6 @@ type
     nameoff: Word
   end;
 
-var
-  next_paddr*: Pointer;
-
 proc write_c(value: Char); extern;
 proc write_s(value: String); extern;
 
@@ -33,15 +30,6 @@ proc separator*() -> Char;
   return ','
 end;
 
-proc alloc_pages(n: Word) -> Pointer;
-var
-  paddr: Pointer;
-begin
-  next_paddr := next_paddr + n * PAGE_SIZE;
-
-  return paddr
-end;
-
 (*
   Prints a number in the hexadecimal format writing the digits into the sink
   procedure. If the value is shorter than the padding, pads the output with