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

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

Completed in 84 milliseconds