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