write_cr3
write_cr3(top_level_pgt);
write_cr3(top_level_pgt);
write_cr3(top_level_pgt);
PVOP_ALT_VCALL1(pv_ops, mmu.write_cr3, x, "mov %%rdi, %%cr3", ALT_NOT_XEN);
void (*write_cr3)(unsigned long);
write_cr3(__sme_pa(pgdir));
write_cr3(__sme_pa_nodebug(early_top_pgt));
.mmu.write_cr3 = pv_native_write_cr3,
write_cr3(__read_cr3() | lam);
write_cr3(virt_to_phys(tboot_pg_dir));
write_cr3(build_cr3(mm->pgd, 0, 0));
write_cr3(new_mm_cr3);
write_cr3(ctxt->cr3);
write_cr3(real_mode_header->trampoline_pgd);
pv_ops.mmu.write_cr3 = &xen_write_cr3;
pv_ops.mmu.write_cr3 = xen_write_cr3_init;