build_cr3
write_cr3(build_cr3(mm->pgd, 0, 0));
build_cr3(this_cpu_read(cpu_tlbstate.loaded_mm)->pgd,
return build_cr3(pgd, asid, lam) | CR3_NOFLUSH;
new_mm_cr3 = build_cr3(pgdir, new_asid, lam);
if (WARN_ON_ONCE(__read_cr3() != build_cr3(prev->pgd, prev_asid,