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
