13 unsigned long __phys_addr(unsigned long x)  in __phys_addr()  argument
15 	unsigned long y = x - __START_KERNEL_map;  in __phys_addr()
18 	if (unlikely(x > y)) {  in __phys_addr()
19 		x = y + phys_base;  in __phys_addr()
23 		x = y + (__START_KERNEL_map - PAGE_OFFSET);  in __phys_addr()
26 		VIRTUAL_BUG_ON((x > y) || !phys_addr_valid(x));  in __phys_addr()
29 	return x;  in __phys_addr()
33 unsigned long __phys_addr_symbol(unsigned long x)  in __phys_addr_symbol()  argument
35 	unsigned long y = x - __START_KERNEL_map;  in __phys_addr_symbol()
45 bool __virt_addr_valid(unsigned long x)  in __virt_addr_valid()  argument
47 	unsigned long y = x - __START_KERNEL_map;  in __virt_addr_valid()
50 	if (unlikely(x > y)) {  in __virt_addr_valid()
51 		x = y + phys_base;  in __virt_addr_valid()
56 		x = y + (__START_KERNEL_map - PAGE_OFFSET);  in __virt_addr_valid()
59 		if ((x > y) || !phys_addr_valid(x))  in __virt_addr_valid()
63 	return pfn_valid(x >> PAGE_SHIFT);  in __virt_addr_valid()
70 unsigned long __phys_addr(unsigned long x)  in __phys_addr()  argument
72 	unsigned long phys_addr = x - PAGE_OFFSET;  in __phys_addr()
74 	VIRTUAL_BUG_ON(x < PAGE_OFFSET);  in __phys_addr()
75 	VIRTUAL_BUG_ON(__vmalloc_start_set && is_vmalloc_addr((void *) x));  in __phys_addr()
79 		BUG_ON(slow_virt_to_phys((void *)x) != phys_addr);  in __phys_addr()
86 bool __virt_addr_valid(unsigned long x)  in __virt_addr_valid()  argument
88 	if (x < PAGE_OFFSET)  in __virt_addr_valid()
90 	if (__vmalloc_start_set && is_vmalloc_addr((void *) x))  in __virt_addr_valid()
92 	if (x >= FIXADDR_START)  in __virt_addr_valid()
94 	return pfn_valid((x - PAGE_OFFSET) >> PAGE_SHIFT);  in __virt_addr_valid()