memset(range, 0, sizeof(range));
        /* 0xfd00000000-0xffffffffff for HT */
-       range[0].end = (0xfdULL<<32) - 1;
+       range[0].end = cap_resource((0xfdULL<<32) - 1);
 
        /* need to take out [0, TOM) for RAM*/
        address = MSR_K8_TOP_MEM1;
                        }
                }
 
-               update_res(info, start, end, IORESOURCE_MEM, 1);
+               update_res(info, cap_resource(start), cap_resource(end),
+                                IORESOURCE_MEM, 1);
                subtract_range(range, RANGE_NUM, start, end);
                printk(KERN_CONT "\n");
        }
                        if (!range[i].end)
                                continue;
 
-                       update_res(info, range[i].start, range[i].end,
+                       update_res(info, cap_resource(range[i].start),
+                                  cap_resource(range[i].end),
                                   IORESOURCE_MEM, 1);
                }
        }
 
 
 void sort_range(struct range *range, int nr_range);
 
+#define MAX_RESOURCE ((resource_size_t)~0)
+static inline resource_size_t cap_resource(u64 val)
+{
+       if (val > MAX_RESOURCE)
+               return MAX_RESOURCE;
+
+       return val;
+}
 #endif