__u64              85 kern/include/kern/socket.h    __u64 __ss_pad4;
__u64              86 kern/include/kern/socket.h    char __ss_pad5[_SS_SIZE - sizeof(__u64) - sizeof(__u32) - 4*sizeof(__u8)];
__u64              66 kern/include/kern/types.h typedef __u64 __counter_t; /* Event counter */
__u64              78 kern/include/kern/types.h typedef __u64 __rlim_t;    /* Resource limit quantity */
__u64             107 kern/include/types.h typedef __u64 uint64_t;
__u64              46 user/include/stdint.h typedef __u64 uint64_t;