io_num           1492 kernel/resource.c 		unsigned int io_start, io_num;
io_num           1498 kernel/resource.c 		if (get_option(&str, &io_num) == 0)
io_num           1516 kernel/resource.c 			res->end = io_start + io_num - 1;