next up previous
Next: Changing CPU Reserve Parameters Up: API for LinuxRK Previous: Creating a CPU Reserve

Destroying a CPU Reserve 


int rk_cpu_reserve_delete(rk_resource_set_t);
Destroys CPU reserve passed as an argument.


Luca Abeni 2000-11-03