Started vmm_get_mapping() for standard i686 paging