When an extension set is created, RTEMS generates a
unique extension set ID and assigns it to the created extension
set until it is deleted. The extension ID may be obtained by
either of two methods. First, as the result of an invocation of
the rtems.extension_create
directive, the extension set ID is stored
in a user provided location. Second, the extension set ID may
be obtained later using the rtems.extension_ident
directive. The extension set ID is used by other directives
to manipulate this extension set.
Copyright © 1988-2000 OAR Corporation