Go to the source code of this file.
Functions | |
int | l4cpu_reserve_dump (void) |
Get the reservations at the reservation server and dump them. |
Definition in file convenience.c.
int l4cpu_reserve_dump | ( | void | ) |
Get the reservations at the reservation server and dump them.
Definition at line 21 of file convenience.c.
References l4cpu_reserve_scheds_count(), l4cpu_reserve_scheds_get(), and thread.