work on vm_translate and related funcitons