3 void * __io_virt_debug(unsigned long x, const char *file, int line)
6 printk("io mapaddr 0x%05lx not valid at %s:%d!\n", x, file, line);
12 unsigned long __io_phys_debug(unsigned long x, const char *file, int line)
14 if (x < PAGE_OFFSET) {
15 printk("io mapaddr 0x%05lx not valid at %s:%d!\n", x, file, line);