ALT_NOT_XEN
"mov %%cr2, %%rax", ALT_NOT_XEN);
"mov %%cr3, %%rax", ALT_NOT_XEN);
PVOP_ALT_VCALL1(pv_ops, mmu.write_cr3, x, "mov %%rdi, %%cr3", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN) };
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN) };
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN) };
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN);
"mov %%rdi, %%rax", ALT_NOT_XEN);
ALT_NOT_XEN);
PVOP_ALT_VCALLEE0(pv_ops, irq.irq_disable, "cli", ALT_NOT_XEN);
PVOP_ALT_VCALLEE0(pv_ops, irq.irq_enable, "sti", ALT_NOT_XEN);
"pushf; pop %rax", ALT_NOT_XEN