__u32              43 kern/arch/mips/include/types.h typedef __u32 paddr_t;
__u32              44 kern/arch/mips/include/types.h typedef __u32 vaddr_t;
__u32              92 kern/include/kern/signal.h typedef __u32 sigset_t;
__u32              84 kern/include/kern/socket.h    __u32 __ss_pad3;
__u32              86 kern/include/kern/socket.h    char __ss_pad5[_SS_SIZE - sizeof(__u64) - sizeof(__u32) - 4*sizeof(__u8)];
__u32              58 kern/include/kern/stat.h 	__u32 st_atimensec;     /* last access time: nanoseconds */
__u32              59 kern/include/kern/stat.h 	__u32 st_ctimensec;     /* inode change time: nanoseconds */
__u32              60 kern/include/kern/stat.h 	__u32 st_mtimensec;     /* modification time: nanoseconds */
__u32              67 kern/include/kern/stat.h 	__u32 st_gen;           /* file generation number (root only) */
__u32              64 kern/include/kern/types.h typedef __u32 __blkcnt_t;  /* Count of blocks */
__u32              65 kern/include/kern/types.h typedef __u32 __blksize_t; /* Size of an I/O block */
__u32              67 kern/include/kern/types.h typedef __u32 __daddr_t;   /* Disk block number */
__u32              68 kern/include/kern/types.h typedef __u32 __dev_t;     /* Hardware device ID */
__u32              69 kern/include/kern/types.h typedef __u32 __fsid_t;    /* Filesystem ID */
__u32              71 kern/include/kern/types.h typedef __u32 __in_addr_t; /* Internet address */
__u32              72 kern/include/kern/types.h typedef __u32 __in_port_t; /* Internet port number */
__u32              73 kern/include/kern/types.h typedef __u32 __ino_t;     /* Inode number */
__u32              74 kern/include/kern/types.h typedef __u32 __mode_t;    /* File access mode */
__u32             106 kern/include/types.h typedef __u32 uint32_t;
__u32              45 user/include/stdint.h typedef __u32 uint32_t;