Searched refs:pre_init (Results 1 - 17 of 17) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/mcs-scheduling/components/Init/src/
H A Dinit.c10 void pre_init(void) function
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.environment.c19 if (pre_init) {
20 pre_init();
H A Dcomponent.template.h240 void pre_init(void) WEAK;
/seL4-camkes-master/projects/global-components/components/RTC/src/
H A Drtc.c30 void pre_init(void) function
/seL4-camkes-master/projects/camkes/apps/pit/components/Driver/src/
H A Ddriver.c30 void pre_init(void) function
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/
H A Dinterrupt-client.c20 void pre_init(void) function
/seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/
H A Dpolling-client.c20 void pre_init(void) function
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/
H A DcomponentScript.sml16 fun pre_init u = (); function
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dmain.c27 static void CONSTRUCTOR(MUSLCSYS_WITH_VSYSCALL_PRIORITY) pre_init(void)
/seL4-camkes-master/projects/global-components/components/FileServer/src/
H A Dserver.c36 void pre_init() { function
/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/
H A Dclient.c112 void pre_init(void) function
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/
H A Dpci.c98 void pre_init(void) function
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c137 void pre_init(void) function
/seL4-camkes-master/projects/camkes/apps/cakeml_hello/
H A DcomponentScript.sml16 fun pre_init u = (); function
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/
H A DcomponentScript.sml28 fun pre_init u = () function
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SingleThreadedComponent.template.c39 void pre_init(void) { function
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c499 void pre_init(void) function

Completed in 90 milliseconds