Searched refs:initialise (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dmain.c142 initialise(platsupport_get_bootinfo(), &procServ);
H A Dstate.h106 void initialise(seL4_BootInfo *info, struct procserv_state *s);
H A Dstate.c70 /* Create and initialise allocman allocator, and create a virtual kernel allocator (VKA)
145 initialise it again */
156 @param s The process server global state to initialise.
159 initialise(seL4_BootInfo *info, struct procserv_state *s) function
/seL4-refos-master/apps/process_server/src/
H A Dmain.c142 initialise(platsupport_get_bootinfo(), &procServ);
H A Dstate.h106 void initialise(seL4_BootInfo *info, struct procserv_state *s);
H A Dstate.c70 /* Create and initialise allocman allocator, and create a virtual kernel allocator (VKA)
145 initialise it again */
156 @param s The process server global state to initialise.
159 initialise(seL4_BootInfo *info, struct procserv_state *s) function
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex299 --- [ label = "Open the data space to initialise with"];
379 P abox C [ label = "Content initialise dataspace with code/data section content"];
H A Dinterface.tex211 Inform the dataserver to stop providing content initialise data for its dataspace.

Completed in 80 milliseconds