Refactor map_page_at_addr