There is pre-existing logic that appears to be undocumented for an mremap() shrink operation, where it turns out that the usual 'input range must span a single mapping' requirement no longer applies. In fact, it turns out that the input range specified by [old_address, old_size) may span any number of mappings, as long old_address resides at or within a mapping and [old_address, new_size) spans only a single mapping. Explicitly document this. Signed-off-by: Lorenzo Stoakes <lorenzo.stoakes@xxxxxxxxxx> --- man/man2/mremap.2 | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/man/man2/mremap.2 b/man/man2/mremap.2 index cb3412591..c1a9e7397 100644 --- a/man/man2/mremap.2 +++ b/man/man2/mremap.2 @@ -43,7 +43,22 @@ may span multiple mappings which do not have to be adjacent to one another. .P -If the operation is not a simple move +Equally, if the operation performs a shrink, +that is if +.I old_size +is greater than +.IR new_size , +then +.I old_size +may also span multiple mappings +which do not have to be +adjacent to one another. +However in this case, +.I new_size +must span only a single mapping. +.P +If the operation is neither a simple move +nor a shrink, then .I old_size must span only a single mapping. -- 2.50.1
