U32_MAX_DIGITS   1341 fs/9p/vfs_inode.c 	char name[1 + U32_MAX_DIGITS + 2]; /* sign + number + \n + \0 */
U32_MAX_DIGITS   1375 fs/9p/vfs_inode.c 	char name[2 + U32_MAX_DIGITS + 1 + U32_MAX_DIGITS + 1];