|
@@ -51,9 +51,9 @@ extern int devmem_is_allowed(unsigned long pagenr);
|
|
extern unsigned long max_low_pfn_mapped;
|
|
extern unsigned long max_low_pfn_mapped;
|
|
extern unsigned long max_pfn_mapped;
|
|
extern unsigned long max_pfn_mapped;
|
|
|
|
|
|
-static inline phys_addr_t get_max_mapped(void)
|
|
|
|
|
|
+static inline phys_addr_t get_max_low_mapped(void)
|
|
{
|
|
{
|
|
- return (phys_addr_t)max_pfn_mapped << PAGE_SHIFT;
|
|
|
|
|
|
+ return (phys_addr_t)max_low_pfn_mapped << PAGE_SHIFT;
|
|
}
|
|
}
|
|
|
|
|
|
bool pfn_range_is_mapped(unsigned long start_pfn, unsigned long end_pfn);
|
|
bool pfn_range_is_mapped(unsigned long start_pfn, unsigned long end_pfn);
|