Searched refs:vki_robust_list_head (Results 1 – 2 of 2) sorted by relevance
1244 struct vki_robust_list_head *, head, vki_size_t, len); in PRE()1258 struct vki_robust_list_head **, head_ptr, in PRE()1261 ARG2, sizeof(struct vki_robust_list_head *)); in PRE()1267 POST_MEM_WRITE(ARG2, sizeof(struct vki_robust_list_head *)); in POST()
1309 struct vki_robust_list_head { struct