*/
#undef CONFIG_X86_PAE
+#undef CONFIG_PARAVIRT
#include <asm/page.h>
#include <asm/pgtable.h>
#include <asm/tlbflush.h>
#define BOOT_PTE_PTRS (PTRS_PER_PTE*2)
-static unsigned long boot_pte_index(unsigned long vaddr)
+static unsigned long boot_pte_index(unsigned long vaddr)
{
return __pa(vaddr) >> PAGE_SHIFT;
}