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

/barrelfish-2018-10-04/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c65 cslot_t vspace_slot = si->elfload_slot;
66 cslot_t spawn_vspace_slot = si->elfload_slot;
74 .slot = si->elfload_slot++,
161 si->elfload_slot = 0;
/barrelfish-2018-10-04/lib/spawndomain/arch/arm/
H A Dspawn_arch.c65 cslot_t vspace_slot = si->elfload_slot;
66 cslot_t spawn_vspace_slot = si->elfload_slot;
74 .slot = si->elfload_slot++,
161 si->elfload_slot = 0;
/barrelfish-2018-10-04/lib/spawndomain/arch/x86/
H A Dspawn_arch.c69 cslot_t vspace_slot = si->elfload_slot;
70 cslot_t spawn_vspace_slot = si->elfload_slot;
78 .slot = si->elfload_slot++,
233 si->elfload_slot = 0;
/barrelfish-2018-10-04/include/spawndomain/
H A Dspawndomain.h40 cslot_t elfload_slot; member in struct:spawninfo

Completed in 90 milliseconds