![]() |
RTEMS 6.1
|
This source file contains the implementation of _User_extensions_Remove_set(). More...
Functions | |
| void | _User_extensions_Remove_set (User_extensions_Control *the_extension) |
| Removes a user extension. | |
This source file contains the implementation of _User_extensions_Remove_set().