Searched refs:sl_procinfo_s (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/libs/librefossys/include/refos-io/
H A Dmorecore.h16 struct sl_procinfo_s;
20 void refosio_init_morecore(struct sl_procinfo_s *procInfo);
H A Dinternal_state.h28 struct sl_procinfo_s;
55 struct sl_procinfo_s *procInfo;
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/
H A Dmorecore.h16 struct sl_procinfo_s;
20 void refosio_init_morecore(struct sl_procinfo_s *procInfo);
H A Dinternal_state.h28 struct sl_procinfo_s;
55 struct sl_procinfo_s *procInfo;
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dinit.h50 typedef struct sl_procinfo_s { struct
88 @return Pointer to static procinfo structure. (See sl_procinfo_s).
90 struct sl_procinfo_s *refos_static_param_procinfo(void);
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dinit.h50 typedef struct sl_procinfo_s { struct
88 @return Pointer to static procinfo structure. (See sl_procinfo_s).
90 struct sl_procinfo_s *refos_static_param_procinfo(void);
/seL4-refos-master/libs/librefossys/src/refos-io/
H A Dmorecore.c43 refosio_init_morecore(struct sl_procinfo_s *procInfo)
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/
H A Dmorecore.c43 refosio_init_morecore(struct sl_procinfo_s *procInfo)
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c32 extern void refosio_init_morecore(struct sl_procinfo_s *procInfo);
830 struct sl_procinfo_s *
833 return (struct sl_procinfo_s *)(PROCESS_STATICPARAM_PROCINFO_ADDR);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c32 extern void refosio_init_morecore(struct sl_procinfo_s *procInfo);
830 struct sl_procinfo_s *
833 return (struct sl_procinfo_s *)(PROCESS_STATICPARAM_PROCINFO_ADDR);
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c312 struct sl_procinfo_s *procInfo = refos_static_param_procinfo();
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c312 struct sl_procinfo_s *procInfo = refos_static_param_procinfo();

Completed in 40 milliseconds