message: Paging: Initialize page table per platform
diff: @@ -282,6 +282,7 @@ pub fn init() {}
  pub fn init_page_tables() {
  debug!("Create new view to the kernel space");
  + if env::is_uhyve() {
  unsafe {
  let pml4 = controlregs::cr3();
  let pde = pml4 + 2 * BasePageSize::SIZE;
  @@ -301,7 +302,9 @@ pub fn init_page_tables() {
  // flush tlb
  controlregs::cr3_write(pml4);
  -
  + }
  + } else {
  + unsafe {
  // Identity-map the supplied Multiboot information and command line.
  let mb_info = get_mbinfo();
  if !mb_info.is_zero() {
  @@ -330,3 +333,4 @@ pub fn init_page_tables() {
  }
  }
  }
  +}
  