| // SPDX-License-Identifier: GPL-2.0 | |
| #include <linux/mmdebug.h> | |
| #include <linux/export.h> | |
| #include <linux/mm.h> | |
| #include <asm/page.h> | |
| unsigned long __phys_addr(unsigned long x, bool is_31bit) | |
| { | |
| VIRTUAL_BUG_ON(is_vmalloc_or_module_addr((void *)(x))); | |
| x = __pa_nodebug(x); | |
| if (is_31bit) | |
| VIRTUAL_BUG_ON(x >> 31); | |
| return x; | |
| } | |
| EXPORT_SYMBOL(__phys_addr); |