Lines Matching refs:safe_to_deref
1486 if (ML_(safe_to_deref)( (void*)ARG1, sizeof(struct vki_aio_ring))) {2845 if (ML_(safe_to_deref)(sa,sizeof(sa)) 3200 if (ML_(safe_to_deref)( (void*)ARG2, 1 )3348 if (ML_(safe_to_deref)((void*)ARG2, 1)