Re: guests page tables

[Jens Nerche]

Sorry, one wrong line... should be:

          if(pte.base == page) 
            {
              vm->guest.addr.page_tbl[pdi].u.pte[pti].P = 0; // mark as not present in 
page table;
              asm volatile("invlpg %0" : : "m" (page << 12)); // remove from TLB
            }

jens