added page table management data structures to designdoc