Searched refs:vki_robust_list_head (Results 1 – 2 of 2) sorted by relevance
1047 struct vki_robust_list_head *, head, vki_size_t, len); in PRE()1061 struct vki_robust_list_head **, head_ptr, in PRE()1064 ARG2, sizeof(struct vki_robust_list_head *)); in PRE()1070 POST_MEM_WRITE(ARG2, sizeof(struct vki_robust_list_head *)); in POST()
1213 struct vki_robust_list_head { struct