fill mmio_map_region, pass check_page_free_list()