Symbol: page_table_check_pmds_set