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

/barrelfish-master/usr/boot_perfmon/
H A Dleader.c25 coreid_t get_leader_id(void) function
H A Dinternal.h47 coreid_t get_leader_id(void);
H A Dconnections.c68 err = relations_get(rel, get_leader_id(), &lb);
113 err = relations_get(rel, get_leader_id(), &lb);

Completed in 65 milliseconds