Searched refs:__vki_user_cap_header_struct (Results 1 – 2 of 2) sorted by relevance
1077 typedef struct __vki_user_cap_header_struct { struct
2214 sizeof(struct __vki_user_cap_header_struct) ); in PRE()2231 ARG1, sizeof(struct __vki_user_cap_header_struct) ); in PRE()