pub const PT_PROT: [usize; 4];
Make pt_pfn a new ‘level’ page table frame and hook it into the page table at offset in previous level MFN (pref_l_mfn). pt_pfn is a guest PFN.
