Lines Matching defs:aiocbp
4529 // We must record the aiocbp for each aio_read() in a table so that when
4546 struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
4550 PRE_REG_READ1(long, "aio_return", struct vki_aiocb*, aiocbp);
4553 was_a_successful_aio_read = VG_(OSetWord_Remove)(aiocbp_table, (UWord)aiocbp);
4557 // If we found the aiocbp in our own table it must have been an aio_read(),
4560 // aiocbp). Either way, the buffer won't have been written so we don't
4563 struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
4564 POST_MEM_WRITE((Addr)aiocbp->aio_buf, aiocbp->aio_nbytes);
4575 const struct vki_aiocb *, aiocbp, int, nent,
4588 PRE_REG_READ1(long, "aio_error", struct vki_aiocb*, aiocbp);
4593 struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
4596 PRE_REG_READ1(long, "aio_read", struct vki_aiocb*, aiocbp);
4597 PRE_MEM_READ( "aio_read(aiocbp)", ARG1, sizeof(struct vki_aiocb));
4599 if (ML_(safe_to_deref)(aiocbp, sizeof(struct vki_aiocb))) {
4600 if (ML_(fd_allowed)(aiocbp
4601 PRE_MEM_WRITE("aio_read(aiocbp->aio_buf)",
4602 (Addr)aiocbp->aio_buf, aiocbp->aio_nbytes);
4615 struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
4617 // aiocbp shouldn't already be in the table -- if it was a dup, the kernel
4620 VG_(OSetWord_Insert)(aiocbp_table, (UWord)aiocbp);
4625 struct vki_aiocb* aiocbp = (struct vki_aiocb*)ARG1;
4628 PRE_REG_READ1(long, "aio_write", struct vki_aiocb*, aiocbp);
4629 PRE_MEM_READ( "aio_write(aiocbp)", ARG1, sizeof(struct vki_aiocb));
4631 if (ML_(safe_to_deref)(aiocbp, sizeof(struct vki_aiocb))) {
4632 if (ML_(fd_allowed)(aiocbp->aio_fildes, "aio_write", tid, /*isNewFd*/False)) {
4633 PRE_MEM_READ("aio_write(aiocbp->aio_buf)",
4634 (Addr)aiocbp->aio_buf, aiocbp->aio_nbytes);
