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