1 | // SPDX-License-Identifier: GPL-2.0 |
---|---|
2 | #include <linux/mmdebug.h> |
3 | #include <linux/export.h> |
4 | #include <linux/mm.h> |
5 | #include <asm/page.h> |
6 | |
7 | unsigned long __phys_addr(unsigned long x, bool is_31bit) |
8 | { |
9 | VIRTUAL_BUG_ON(is_vmalloc_or_module_addr((void *)(x))); |
10 | x = __pa_nodebug(x); |
11 | if (is_31bit) |
12 | VIRTUAL_BUG_ON(x >> 31); |
13 | return x; |
14 | } |
15 | EXPORT_SYMBOL(__phys_addr); |
16 |