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