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 7unsigned 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} 15EXPORT_SYMBOL(__phys_addr); 16