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