added function frame_map_frame to map from a page virtual address to a frame