[PATCH v4 3/4] dtc/libfdt: introduce fdt types for annotation by endian checkers
Jon Loeliger
jdl at jdl.com
Mon Jan 7 08:52:36 EST 2013
> Projects such as linux and u-boot run sparse on libfdt. libfdt
> contains the notion of endianness via usage of endian conversion
> functions such as fdt32_to_cpu. As such, in order to pass endian
> checks, libfdt has to annotate its fdt variables such that sparse
> can warn when mixing bitwise and regular integers. This patch adds
> these new fdtXX_t types and, ifdef __CHECKER__ (a symbol sparse
> defines), includes the bitwise annotation.
>
> Signed-off-by: Kim Phillips <kim.phillips at freescale.com>
Applied.
Thanks,
jdl
More information about the devicetree-discuss
mailing list