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