Symbol: U32_MAX_DIGITS
fs/9p/vfs_inode.c
1277
char name[1 + U32_MAX_DIGITS + 2]; /* sign + number + \n + \0 */
fs/9p/vfs_inode.c
1313
char name[2 + U32_MAX_DIGITS + 1 + U32_MAX_DIGITS + 1];