write_cr2
write_cr2(ctxt->fi.cr2);
PVOP_VCALL1(pv_ops, mmu.write_cr2, x);
void (*write_cr2)(unsigned long);
write_cr2(this_cpu_read(nmi_cr2));
write_cr2(this_cpu_read(nmi_cr2));
.mmu.write_cr2 = pv_native_write_cr2,
write_cr2(ctxt->cr2);
pv_ops.mmu.write_cr2 = xen_write_cr2;