1<assertions>
2	<assertion id="1" tag="ref:XSH6TC2:4055:4058">
3	aio_fsync() shall asynchronously force I/O operations associated
4	with aio_fildes.
5	</assertion>
6	<assertion id="2" tag="ref:XSH6TC2:4060:4061">
7	if op is O_DSYNC, all queued I/O operations shall be completed as if
8	by a call to fdatasync().
9	</assertion>
10	<assertion id="3" tag="ref:XSH6TC2:4060:4061">
11	if op is O_SYNC, all queued I/O operations shall be completed as if
12	by a call to fsync().
13	</assertion>
14	<assertion id="4" tag="ref:XSH6TC2:4070:4071">
15	aio_error() and aio_return() may be used in order to determine
16	the error status and return status of aio_fsync opertation.
17	</assertion>
18	<assertion id="5" tag="ref:XSH6TC2:4072:4073">
19	When the request is queued, error status is [EINPROGRESS].
20	</assertion>
21	<assertion id="6" tag="ref:XSH6TC2:4075:4076">
22	If the operation does not complete successfully, the error status
23	shall be set to indicate the error.
24	</assertion>
25	<assertion id="7" tag="ref:XSH6TC2:4076:4076">
26	The aio_sigevent member determines the asynchronous notificiation
27	to occur.
28	</assertion>
29	<assertion id="8" tag="ref:XSH6TC2:4078:4079">
30	Except aio_fildes and aio_sigevent, all other members of the structure
31	are ignored.
32	</assertion>
33	<assertion id="9" tag="ref:XSH6TC2:4084:4084">
34	aio_fsync() shall return the value 0 if the operation is successfully
35	queued.
36	</assertion>
37	<assertion id="10" tag="ref:XSH6TC2:4084:4084">
38	aio_fsync() shall return the value -1 and set errno to indicate error 
39	if the operation is not successfully queued.
40	</assertion>
41	<assertion id="11" tag="ref:XSH6TC2:4088:4089">
42	aio_fsync() shall fail if:
43	[EAGAIN] Operation was not queued due to temporary resource limitations.
44	</assertion>
45	<assertion id="12" tag="ref:XSH6TC2:4090:4091">
46	aio_fsync() shall fail if:
47	[EBADF] aio_fildes is not a valid file descriptor for writing.
48	</assertion>
49	<assertion id="13" tag="ref:XSH6TC2:4092:4092">
50	aio_fsync() shall fail if:
51	[EINVAL] This implementation does not support synchronized I/O for
52	this file.
53	</assertion>
54	<assertion id="14" tag="ref:XSH6TC2:4093:4093">
55	aio_fsync() shall fail if:
56	[EINVAL] op is not set to O_DSYNC or O_SYNC.
57        </assertion>
58</assertions>
59