Searched refs:__vki_user_cap_data_struct (Results 1 – 2 of 2) sorted by relevance
1128 typedef struct __vki_user_cap_data_struct { struct
2415 sizeof(struct __vki_user_cap_data_struct) ); in PRE()2420 POST_MEM_WRITE( ARG2, sizeof(struct __vki_user_cap_data_struct) ); in POST()2432 ARG2, sizeof(struct __vki_user_cap_data_struct) ); in PRE()