| #include <linux/bootmem.h> |
| #include <linux/mmdebug.h> |
| #include <linux/module.h> |
| #include <linux/mm.h> |
| |
| #include <asm/page.h> |
| |
| #include "physaddr.h" |
| |
| #ifdef CONFIG_X86_64 |
| |
| #ifdef CONFIG_DEBUG_VIRTUAL |
| unsigned long __phys_addr(unsigned long x) |
| { |
| unsigned long y = x - __START_KERNEL_map; |
| |
| /* use the carry flag to determine if x was < __START_KERNEL_map */ |
| if (unlikely(x > y)) { |
| x = y + phys_base; |
| |
| VIRTUAL_BUG_ON(y >= KERNEL_IMAGE_SIZE); |
| } else { |
| x = y + (__START_KERNEL_map - PAGE_OFFSET); |
| |
| /* carry flag will be set if starting x was >= PAGE_OFFSET */ |
| VIRTUAL_BUG_ON((x > y) || !phys_addr_valid(x)); |
| } |
| |
| return x; |
| } |
| EXPORT_SYMBOL(__phys_addr); |
| |
| unsigned long __phys_addr_symbol(unsigned long x) |
| { |
| unsigned long y = x - __START_KERNEL_map; |
| |
| /* only check upper bounds since lower bounds will trigger carry */ |
| VIRTUAL_BUG_ON(y >= KERNEL_IMAGE_SIZE); |
| |
| return y + phys_base; |
| } |
| EXPORT_SYMBOL(__phys_addr_symbol); |
| #endif |
| |
| bool __virt_addr_valid(unsigned long x) |
| { |
| unsigned long y = x - __START_KERNEL_map; |
| |
| /* use the carry flag to determine if x was < __START_KERNEL_map */ |
| if (unlikely(x > y)) { |
| x = y + phys_base; |
| |
| if (y >= KERNEL_IMAGE_SIZE) |
| return false; |
| } else { |
| x = y + (__START_KERNEL_map - PAGE_OFFSET); |
| |
| /* carry flag will be set if starting x was >= PAGE_OFFSET */ |
| if ((x > y) || !phys_addr_valid(x)) |
| return false; |
| } |
| |
| return pfn_valid(x >> PAGE_SHIFT); |
| } |
| EXPORT_SYMBOL(__virt_addr_valid); |
| |
| #else |
| |
| #ifdef CONFIG_DEBUG_VIRTUAL |
| unsigned long __phys_addr(unsigned long x) |
| { |
| unsigned long phys_addr = x - PAGE_OFFSET; |
| /* VMALLOC_* aren't constants */ |
| VIRTUAL_BUG_ON(x < PAGE_OFFSET); |
| VIRTUAL_BUG_ON(__vmalloc_start_set && is_vmalloc_addr((void *) x)); |
| /* max_low_pfn is set early, but not _that_ early */ |
| if (max_low_pfn) { |
| VIRTUAL_BUG_ON((phys_addr >> PAGE_SHIFT) > max_low_pfn); |
| BUG_ON(slow_virt_to_phys((void *)x) != phys_addr); |
| } |
| return phys_addr; |
| } |
| EXPORT_SYMBOL(__phys_addr); |
| #endif |
| |
| bool __virt_addr_valid(unsigned long x) |
| { |
| if (x < PAGE_OFFSET) |
| return false; |
| if (__vmalloc_start_set && is_vmalloc_addr((void *) x)) |
| return false; |
| if (x >= FIXADDR_START) |
| return false; |
| return pfn_valid((x - PAGE_OFFSET) >> PAGE_SHIFT); |
| } |
| EXPORT_SYMBOL(__virt_addr_valid); |
| |
| #endif /* CONFIG_X86_64 */ |