1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/mmdebug.h>
3 #include <linux/export.h>
7 unsigned long __phys_addr(unsigned long x, bool is_31bit)
9 VIRTUAL_BUG_ON(is_vmalloc_or_module_addr((void *)(x)));
12 VIRTUAL_BUG_ON(x >> 31);
15 EXPORT_SYMBOL(__phys_addr);