current_mm_id
extern struct mm_id *current_mm_id(void);
if (current_mm_id() == mm_idp)
struct mm_id *mm_id = current_mm_id();