#ifndef _ASM_FIXMAP_H
 #define _ASM_FIXMAP_H
 
-/*
- * Nothing too fancy for now.
- *
- * On ARM we already have well known fixed virtual addresses imposed by
- * the architecture such as the vector page which is located at 0xffff0000,
- * therefore a second level page table is already allocated covering
- * 0xfff00000 upwards.
- *
- * The cache flushing code in proc-xscale.S uses the virtual area between
- * 0xfffe0000 and 0xfffeffff.
- */
-
-#define FIXADDR_START          0xfff00000UL
-#define FIXADDR_TOP            0xfffe0000UL
+#define FIXADDR_START          0xffc00000UL
+#define FIXADDR_TOP            0xffe00000UL
 #define FIXADDR_SIZE           (FIXADDR_TOP - FIXADDR_START)
 
 #define FIX_KMAP_NR_PTES       (FIXADDR_SIZE >> PAGE_SHIFT)
 
 #include <asm/tlbflush.h>
 #include "mm.h"
 
+pte_t *fixmap_page_table;
+
+static inline void set_fixmap_pte(int idx, pte_t pte)
+{
+       unsigned long vaddr = __fix_to_virt(idx);
+       set_pte_ext(fixmap_page_table + idx, pte, 0);
+       local_flush_tlb_kernel_page(vaddr);
+}
+
+static inline pte_t get_fixmap_pte(unsigned long vaddr)
+{
+       unsigned long idx = __virt_to_fix(vaddr);
+       return *(fixmap_page_table + idx);
+}
+
 void *kmap(struct page *page)
 {
        might_sleep();
         * With debugging enabled, kunmap_atomic forces that entry to 0.
         * Make sure it was indeed properly unmapped.
         */
-       BUG_ON(!pte_none(get_top_pte(vaddr)));
+       BUG_ON(!pte_none(*(fixmap_page_table + idx)));
 #endif
        /*
         * When debugging is off, kunmap_atomic leaves the previous mapping
         * in place, so the contained TLB flush ensures the TLB is updated
         * with the new mapping.
         */
-       set_top_pte(vaddr, mk_pte(page, kmap_prot));
+       set_fixmap_pte(idx, mk_pte(page, kmap_prot));
 
        return (void *)vaddr;
 }
                        __cpuc_flush_dcache_area((void *)vaddr, PAGE_SIZE);
 #ifdef CONFIG_DEBUG_HIGHMEM
                BUG_ON(vaddr != __fix_to_virt(idx));
-               set_top_pte(vaddr, __pte(0));
+               set_fixmap_pte(idx, __pte(0));
 #else
                (void) idx;  /* to kill a warning */
 #endif
        idx = type + KM_TYPE_NR * smp_processor_id();
        vaddr = __fix_to_virt(idx);
 #ifdef CONFIG_DEBUG_HIGHMEM
-       BUG_ON(!pte_none(get_top_pte(vaddr)));
+       BUG_ON(!pte_none(*(fixmap_page_table + idx)));
 #endif
-       set_top_pte(vaddr, pfn_pte(pfn, kmap_prot));
+       set_fixmap_pte(idx, pfn_pte(pfn, kmap_prot));
 
        return (void *)vaddr;
 }
        if (vaddr < FIXADDR_START)
                return virt_to_page(ptr);
 
-       return pte_page(get_top_pte(vaddr));
+       return pte_page(get_fixmap_pte(vaddr));
 }
 
 #include <asm/mach/arch.h>
 #include <asm/mach/map.h>
 #include <asm/mach/pci.h>
+#include <asm/fixmap.h>
 
 #include "mm.h"
 #include "tcm.h"
 #ifdef CONFIG_HIGHMEM
        pkmap_page_table = early_pte_alloc(pmd_off_k(PKMAP_BASE),
                PKMAP_BASE, _PAGE_KERNEL_TABLE);
+
+       fixmap_page_table = early_pte_alloc(pmd_off_k(FIXADDR_START),
+               FIXADDR_START, _PAGE_KERNEL_TABLE);
 #endif
 }