1<assertions>
2  <assertion id="1" tag="ref:XSH6:{System Interfaces:munlockall:DESCRIPTION}">
3   Any pages that become mapped into the address space of the process after a
4   call to munlockall() shall not be locked, unless there is an intervening
5   call to mlockall() specifying MCL_FUTURE or a subsequent call to mlockall()
6   specifying MCL_CURRENT
7  </assertion>
8  <assertion id="2" tag="ref:XSH6:{System Interfaces:munlockall:DESCRIPTION}">
9   If pages mapped into the address space of the process are also mapped into
10   the address spaces of other processes and are locked by those processes, the
11   locks established by the other processes shall be unaffected by a call by
12   this process to munlockall()
13  </assertion>
14  <assertion id="3" tag="ref:XSH6:{System Interfaces:munlockall:DESCRIPTION}">
15   Upon return from the munlockall() function, all currently mapped pages of
16   the process' address space shall be unlocked with respect to the process'
17   address space
18  </assertion>
19  <assertion id="4" tag="ref:XSH6:{System Interfaces:munlockall:DESCRIPTION}">
20   The memory residency of unlocked pages is unspecified
21  </assertion>
22  <assertion id="5" tag="ref:XSH6:{System Interfaces:munlockall:RETURN VALUE}">
23   If it is supported by the implementation, the munlockall() function shall
24   always return a value of zero
25  </assertion>
26  <assertion id="6" tag="ref:XSH6:{System Interfaces:munlockall:RETURN VALUE}">
27   If it is not supported by the implementation, the munlockall() function
28   shall return a value of -1 and set errno to indicate the error
29  </assertion>
30</assertions>
31