Symbol: mm_dec_nr_ptes