tag	line	file	source code
decimal	2558	drivers/block/ide.c	static const char *decimal = "0123456789";
decimal	2577	drivers/block/ide.c	for (n = 0; (i = stridx(decimal, *s)) >= 0;) {
decimal	2579	drivers/block/ide.c	while ((i = stridx(decimal, *++s)) >= 0)