Searched refs:spawnd_state (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/proc_mgmt/
H A Dspawnd_state.h20 struct spawnd_state;
35 struct spawnd_state { struct
45 struct spawnd_state *spawnd_state_get(coreid_t core_id);
47 errval_t spawnd_state_enqueue_send(struct spawnd_state *spawnd,
49 void *spawnd_state_dequeue_recv(struct spawnd_state *spawnd);
H A Dspawnd_state.c14 #include "spawnd_state.h"
16 static struct spawnd_state *spawnds[MAX_COREID];
26 spawnds[core_id] = (struct spawnd_state*) malloc(
27 sizeof(struct spawnd_state));
55 inline struct spawnd_state *spawnd_state_get(coreid_t core_id)
135 * \param arg Wrapper over the spawnd_state structure for the target spawnd.
139 struct spawnd_state *spawnd = (struct spawnd_state*) arg;
176 errval_t spawnd_state_enqueue_send(struct spawnd_state *spawnd,
195 void *spawnd_state_dequeue_recv(struct spawnd_state *spawn
[all...]
H A Ddomain.h18 #include "spawnd_state.h"
46 struct spawnd_state *spawnds[MAX_COREID]; // Spawnds running this domain.
H A Dservice.c27 #include "spawnd_state.h"
366 struct spawnd_state *spawnd = spawnd_state_get(core_id);
497 struct spawnd_state *spawnd = spawnd_state_get(core_id);

Completed in 36 milliseconds