Name | Synopsis | Description | Return Values | Errors | Attributes | See Also | Notes
cc [flag...] file... -lbsm -ltsol [library...]
#include <tsol/label.h> blrange_t *getdevicerange(const char *device);
The getdevicerange() function returns the label range of a user-allocatable device.
If the label range is not specified for device, getdevicerange() returns the default values of ADMIN_LOW for the lower bound and ADMIN_HIGH for the upper bound of device.
From the command line, list_devices(1) can be used to see the label range of device.
The getdevicerange() function returns NULL on failure and sets errno. On successful completion, it returns a pointer to a blrange_t structure which must be freed by the caller, as follows:
blrange_t *range; ... m_label_free(range->lower_bound); m_label_free(range->upper_bound); free(range); |
The getdevicerange() function will fail if:
There is not enough memory available to allocate the required bytes. The application could try later.
The physical limits of the system are exceeded by size bytes of memory which cannot be allocated.
Invalid upper or lower bound for device.
See attributes(5) for descriptions of the following attributes:
ATTRIBUTE TYPE |
ATTRIBUTE VALUE |
---|---|
Interface Stability |
Committed |
MT-Level |
MT-Safe |
The functionality described on this manual page is available only if the system is configured with Trusted Extensions.
Name | Synopsis | Description | Return Values | Errors | Attributes | See Also | Notes