* Copyright (C) 2000, Goutham Rao <goutham.rao@intel.com>
*/
+#include <linux/config.h>
#include <linux/compiler.h>
#include <linux/mm.h>
static inline void
pmd_populate(struct mm_struct *mm, pmd_t * pmd_entry, struct page *pte)
{
-#ifndef CONFIG_XEN
pmd_val(*pmd_entry) = page_to_phys(pte);
-#else
- pmd_val(*pmd_entry) = page_to_pseudophys(pte);
-#endif
}
static inline void