import "io"
import "os1"

manifest
{ ptn_bits = selector 10 : 22,
  pn_bits = selector 11 : 11,
  offset_bits = selector 11 : 0 }

let start() be
{ let addr = 0x80001900; 

  let ptn = ptn_bits from addr;          
  let pn = pn_bits from addr;          

  let pt_physaddr = pgdir_va ! ptn >> 11;
  out("page table is phys page %d\n", pt_physaddr);

  ptspec_va ! spec_p1e := (pt_physaddr << 11) bitor 1;
  p1_va ! pn := (13 << 11) bitor 1;
                          // BAD, I just grabbed page 13
  outs("storing...");
  ! addr := 1234;
  outs("...stored\n");
  out("%d\n", ! addr) }