1 #include <linux/mmdebug.h>
2 #include <linux/module.h>
15 unsigned long __phys_addr(unsigned long x)
17 if (x >= __START_KERNEL_map) {
18 x -= __START_KERNEL_map;
19 VIRTUAL_BUG_ON(x >= KERNEL_IMAGE_SIZE);
22 VIRTUAL_BUG_ON(x < PAGE_OFFSET);
24 VIRTUAL_BUG_ON(!phys_addr_valid(x));
28 EXPORT_SYMBOL(__phys_addr);
30 bool __virt_addr_valid(unsigned long x)
32 if (x >= __START_KERNEL_map) {
33 x -= __START_KERNEL_map;
34 if (x >= KERNEL_IMAGE_SIZE)
41 if (!phys_addr_valid(x))
45 return pfn_valid(x >> PAGE_SHIFT);
47 EXPORT_SYMBOL(__virt_addr_valid);
51 #ifdef CONFIG_DEBUG_VIRTUAL
52 unsigned long __phys_addr(unsigned long x)
54 /* VMALLOC_* aren't constants */
55 VIRTUAL_BUG_ON(x < PAGE_OFFSET);
56 VIRTUAL_BUG_ON(__vmalloc_start_set && is_vmalloc_addr((void *) x));
57 return x - PAGE_OFFSET;
59 EXPORT_SYMBOL(__phys_addr);
62 bool __virt_addr_valid(unsigned long x)
66 if (__vmalloc_start_set && is_vmalloc_addr((void *) x))
68 if (x >= FIXADDR_START)
70 return pfn_valid((x - PAGE_OFFSET) >> PAGE_SHIFT);
72 EXPORT_SYMBOL(__virt_addr_valid);
74 #endif /* CONFIG_X86_64 */