Searched refs:set_leader (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/boot_perfmon/
H A Dleader.c30 errval_t set_leader(callback cb) function
H A Dmain.c108 err = set_leader(leader_cb);
110 USER_PANIC_ERR(err, "set_leader failed");
H A Dinternal.h48 errval_t set_leader(callback cb);

Completed in 46 milliseconds