int submit_aio(struct aio_context *aio) 
int submit_aio(enum aio_type type, int io_fd, char *buf, int len, unsigned long long offset, int reply_fd, struct aio_context *aio) 
int submit_aio(struct aio_context *aio){	return (*submit_proc)(aio);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/aio.c/buggy/arch/um/os-Linux/aio.c