arch/s390/mm/physaddr.c

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