|
@@ -69,7 +69,6 @@ void common(void) {
|
|
OFFSET(PV_IRQ_irq_disable, paravirt_patch_template, irq.irq_disable);
|
|
OFFSET(PV_IRQ_irq_disable, paravirt_patch_template, irq.irq_disable);
|
|
OFFSET(PV_IRQ_irq_enable, paravirt_patch_template, irq.irq_enable);
|
|
OFFSET(PV_IRQ_irq_enable, paravirt_patch_template, irq.irq_enable);
|
|
OFFSET(PV_CPU_iret, paravirt_patch_template, cpu.iret);
|
|
OFFSET(PV_CPU_iret, paravirt_patch_template, cpu.iret);
|
|
- OFFSET(PV_CPU_read_cr0, paravirt_patch_template, cpu.read_cr0);
|
|
|
|
OFFSET(PV_MMU_read_cr2, paravirt_patch_template, mmu.read_cr2);
|
|
OFFSET(PV_MMU_read_cr2, paravirt_patch_template, mmu.read_cr2);
|
|
#endif
|
|
#endif
|
|
|
|
|