SEGMENT_RESIZE

Purpose

segment_resize resizes a memory segment.

Synopsis

#include <types.h>
#include <stub.h>

int segment_resize(Capability *segment, int offset);

Parameters

segment: the capability for the segment to be resized;
offset: the number of bytes to extend or shrink the segment.

Description

segment_resize resizes the memory segment designated by segment by offset bytes. If offset is less than 0, then the segment is shrunk and memory is released. If offset is grater than 0, then the segment is extended and memory is allocated.

Return Values

On success, segment_resize returns 0.

On fail, segment_resize returns a negative value indicating one of the following errors:

Invalid capability: the capability in segment is not valid;
Insufficient rights: the capability in segment does not allow resize;
Insufficient resources: the system physical memory has been exhausted.

Notes

The current version restricts the maximum size for segments to 4 Mbytes.