UINT32             68 include/acpi/actypes.h #define ACPI_UINT32_MAX                 (UINT32)(~((UINT32) 0))	/* 0xFFFFFFFF         */
UINT32             78 include/sound/wavefront.h typedef u32 UINT32;