__va_to_pa_nodebug
#define __virt_to_phys(x) __va_to_pa_nodebug(x)
#define __phys_addr_symbol(x) __va_to_pa_nodebug(x)
max_mapped_addr = __va_to_pa_nodebug(-PAGE_SIZE);
return __va_to_pa_nodebug(x);
return __va_to_pa_nodebug(x);