Symbol: map_mem_page_t