write_cr0
PVOP_VCALL1(pv_ops, cpu.write_cr0, x);
void (*write_cr0)(unsigned long);
write_cr0(cr0);
write_cr0(read_cr0() & ~X86_CR0_CD);
write_cr0(read_cr0() | X86_CR0_NW);
write_cr0(cr0);
write_cr0(read_cr0() & ~X86_CR0_CD);
write_cr0(cr0);
write_cr0(cr0);
.cpu.write_cr0 = native_write_cr0,
write_cr0(cr0 & ~X86_CR0_TS);
write_cr0(ctxt->cr0);
pv_ops.cpu.write_cr0 = xen_write_cr0;
write_cr0(cr0 | X86_CR0_CD);
write_cr0(cr0);
write_cr0(read_cr0() | X86_CR0_CD);
write_cr0(read_cr0() & ~X86_CR0_CD);