mm_untag_mask
#define mm_untag_mask mm_untag_mask
#define mm_untag_mask mm_untag_mask
#define mm_untag_mask mm_untag_mask
#define mm_untag_mask mm_untag_mask
cpu_tlbstate_update_lam(lam, mm_untag_mask(mm));
cpu_tlbstate_update_lam(lam, mm_untag_mask(mm));
cpu_tlbstate_update_lam(new_lam, mm_untag_mask(next));
seq_printf(m, "untag_mask:\t%#lx\n", mm_untag_mask(mm));
#ifndef mm_untag_mask