Add pagetable_dump and getindex functions to pagetable API
Implement a few addrspace functions
Include updated headerfiles