#include <rres_server.h>
Data Fields | |
unsigned long int | n_rcg |
< Server Statistics | |
kal_time_t | exec_time |
Server execution time (total of served task) since its creation. |
Definition at line 35 of file rres_server.h.
Server execution time (total of served task) since its creation.
Definition at line 37 of file rres_server.h.
Referenced by rres_get_exec_time(), rres_init_server(), and rres_update_budget().
unsigned long int server_t::rres_stat::n_rcg |
< Server Statistics
Number of budget recharges
Definition at line 36 of file rres_server.h.
Referenced by recharge(), and rres_init_server().