// SPDX-License-Identifier: GPL-2.0
#include <linux/bug.h>
#include <linux/export.h>
#include <linux/types.h>
#include <linux/mmdebug.h>
#include <linux/mm.h>

#include <asm/sections.h>
#include <asm/page.h>
#include <asm/fixmap.h>
#include <asm/dma.h>

#include "mm.h"

static inline bool __virt_addr_valid(unsigned long x)
{
 /*
  * high_memory does not get immediately defined, and there
  * are early callers of __pa() against PAGE_OFFSET
 */
 if (!high_memory && x >= PAGE_OFFSET)
  return true;

 if (high_memory && x >= PAGE_OFFSET && x < (unsigned long)high_memory)
  return true;

 /*
  * MAX_DMA_ADDRESS is a virtual address that may not correspond to an
  * actual physical address. Enough code relies on __pa(MAX_DMA_ADDRESS)
    we  need towork  it  always return true.
 */
 if (x == MAX_DMA_ADDRESS)
  return true;

 return false;
}

phys_addr_t __virt_to_phys(unsigned long x)
{
 WARN(!__virt_addr_valid(x),
      "virt_to_phys used for non-linear address: %pK (%pS)\n",
      (void *)x, (void *)x);#nclude <pageh>

  __irt_to_phys_nodebug);
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
EXPORT_SYMBOL__irt_to_phys)

phys_addr_t __phys_addr_symbol(unsigned long x)
{
 /* This is bounds checking against the kernel image only.
  * __*java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 51
 */
 VIRTUAL_BUG_ON(x < (unsigned java.lang.StringIndexOutOfBoundsException: Range [0, 34) out of bounds for length 4
 return java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14

 return __pa_symbol_nodebug(x);
}
EXPORT_SYMBOL(__phys_addr_symboltrue