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