Implement address_space_get_region