1 <assertions> 2 <assertion id="1" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 3 The munlock() function shall unlock those whole pages containing any part of 4 the address space of the process starting at address addr and continuing for 5 len bytes, regardless of how many times mlock() has been called by the 6 process for any of the pages in the specified range 7 </assertion> 8 <assertion id="2" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 9 The implementation may require that addr be a multiple of {PAGESIZE} 10 </assertion> 11 <assertion id="3" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 12 If any of the pages in the range specified to a call to munlock() are also 13 mapped into the address spaces of other processes, any locks established on 14 those pages by another process are unaffected by the call of this process to munlock() 15 </assertion> 16 <assertion id="4" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 17 If any of the pages in the range specified by a call to munlock() are also 18 mapped into other portions of the address space of the calling process 19 outside the range specified, any locks established on those pages via the 20 other mappings are also unaffected by this call 21 </assertion> 22 <assertion id="5" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 23 Upon successful return from munlock(), pages in the specified range shall be 24 unlocked with respect to the address space of the process 25 </assertion> 26 <assertion id="6" tag="ref:XSH6:{System Interfaces:munlock:DESCRIPTION}"> 27 Memory residency of unlocked pages is unspecified 28 </assertion> 29 <assertion id="7" tag="ref:XSH6:{System Interfaces:munlock:RETURN VALUE}"> 30 Upon successful completion, the munlock() function shall return a value of 31 zero 32 </assertion> 33 <assertion id="8" tag="ref:XSH6:{System Interfaces:munlock:RETURN VALUE}"> 34 Upon unsuccessful completion, no change is made to any locks in the address 35 space of the process 36 </assertion> 37 <assertion id="9" tag="ref:XSH6:{System Interfaces:munlock:RETURN VALUE}"> 38 Upon unsuccessful completion, the function shall return a value of -1 39 </assertion> 40 <assertion id="10" tag="ref:XSH6:{System Interfaces:munlock:ERRORS}"> 41 The munlock() function shall set errno = ENOMEM if some or all of the 42 address range specified by the addr and len arguments does not correspond 43 to valid mapped pages in the address space of the process 44 </assertion> 45 <assertion id="11" tag="ref:XSH6:{System Interfaces:munlock:ERRORS}"> 46 The munlock() function may set errno = EINVAL if the addr argument is not a 47 multiple of {PAGESIZE} 48 </assertion> 49 </assertions> 50
