Searched refs:vki_cap_user_data_t (Results 1 – 2 of 2) sorted by relevance
1129 } __user *vki_cap_user_data_t; typedef
2906 vki_cap_user_header_t, header, vki_cap_user_data_t, data); in PRE()2924 const vki_cap_user_data_t, data); in PRE()