cpu_tlbstate_update_lam
cpu_tlbstate_update_lam(lam, mm_untag_mask(mm));
cpu_tlbstate_update_lam(new_lam, mm_untag_mask(next));