mm: make get_mm_counter static-inline