next up previous
Next: Attaching a Process to Up: API for LinuxRK Previous: Creating a Resource Set

Destroying a Resource Set 


void rk_resource_set_destroy(rk_resource_set_t rs)
Destroys the resource set passed as an argument.


Luca Abeni 2000-11-03