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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.