Searched refs:vki_cap_user_header_t (Results 1 – 2 of 2) sorted by relevance
1051 } __user *vki_cap_user_header_t; typedef
2109 vki_cap_user_header_t, header, vki_cap_user_data_t, data); in PRE()2125 vki_cap_user_header_t, header, in PRE()