Symbol: zap_page_range_single