static int submit_aio_24(struct aio_context *aio) 
static int submit_aio_24(enum aio_type type, int io_fd, char *buf, int len, unsigned long long offset, struct aio_context *aio) 
static int submit_aio_24(struct aio_context *aio){        int err;        err = os_write_file(aio_req_fd_w, &aio, sizeof(aio));        if(err == sizeof(aio))                err = 0;        return err;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/aio.c/buggy/arch/um/os-Linux/aio.c