+static int insert_identity_mapping(resource_size_t paddr, unsigned long vaddr,Matt Fleming <matt@xxxxxxxxxxxxxxxxx> 10/03/12 2:59 PM >>>
+ unsigned long size)
+{
+ unsigned long end = vaddr + size;
+ unsigned long next;
+ pgd_t *vpgd, *ppgd;
+
+#ifdef CONFIG_X86_32
+ ppgd = initial_page_table + pgd_index(paddr);
+
+ if (paddr >= PAGE_OFFSET || paddr + size > PAGE_OFFSET)
+ return 1;
+#else
+ ppgd = __va(real_mode_header->trampoline_pgd) + pgd_index(paddr);
Missing equivalent code (to the 32-bit one above) here - after all, you're trying
to potentially insert a 52-bit physical address into 48-bit virtual space.