kernel_cap_t
typedef struct { u64 val; } kernel_cap_t;
typedef struct { unsigned long long val; } kernel_cap_t;