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