Symbol: tce_page_is_contained