Searched defs:plat_pre_init (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/global-components/components/TimeServer/src/plat/pc99/
H A Dplat.c39 void plat_pre_init(void) function
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dplat.c59 void plat_pre_init(ps_io_ops_t *io_ops) function

Completed in 131 milliseconds