[PATCH] vmi: fix highpte
[powerpc.git] / arch / i386 / kernel / paravirt.c
index 8352394..12e3bc4 100644 (file)
@@ -553,6 +553,8 @@ struct paravirt_ops paravirt_ops = {
        .flush_tlb_kernel = native_flush_tlb_global,
        .flush_tlb_single = native_flush_tlb_single,
 
+       .map_pt_hook = (void *)native_nop,
+
        .alloc_pt = (void *)native_nop,
        .alloc_pd = (void *)native_nop,
        .alloc_pd_clone = (void *)native_nop,