fdt: Add INT32_MAX to kernel.h for libfdt
[oweals/u-boot.git] / include / linux / soc /
drwxr-xr-x   ..
drwxr-xr-x - ti