| 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 |