| /seL4-refos-master/libs/libsel4vspace/src/ |
| H A D | vspace.c | 120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | device_timer.c | 209 gpt_config_t config; local
239 timer_config_t config; local
[all...] |
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | device_timer.c | 209 gpt_config_t config; local
239 timer_config_t config; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 188 int spt_init(spt_t *spt, spt_config_t config) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 167 uint8_t config = ps2_read_output(&state->ops); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
| H A D | vspace.c | 120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 188 int spt_init(spt_t *spt, spt_config_t config) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_ps2.c | 167 uint8_t config = ps2_read_output(&state->ops); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 135 ttc_config_t config = { local
|
| /seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 135 ttc_config_t config = { local
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/ |
| H A D | platform_init.c | 43 uint32_t config; member in struct:cso
|
| /seL4-refos-master/tools/elfloader/src/plat/exynos5/ |
| H A D | platform_init.c | 43 uint32_t config; member in struct:cso
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 214 int dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
247 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | timer.c | 191 int dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 177 int sp804_init(sp804_t *sp804, ps_io_ops_t ops, sp804_config_t config) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 214 int dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
247 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | timer.c | 191 int dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 177 int sp804_init(sp804_t *sp804, ps_io_ops_t ops, sp804_config_t config) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 160 int rk_init(rk_t *rk, ps_io_ops_t ops, rk_config_t config) argument
206 int rk_init_secondary(rk_t *rk, rk_t *rkp, ps_io_ops_t ops, rk_config_t config) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 160 int rk_init(rk_t *rk, ps_io_ops_t ops, rk_config_t config) argument
206 int rk_init_secondary(rk_t *rk, rk_t *rkp, ps_io_ops_t ops, rk_config_t config) argument
[all...] |
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 102 srv_common_config_t config; member in struct:srv_common
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 102 srv_common_config_t config; member in struct:srv_common
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | phy.h | 135 int (*config)(struct phy_device *phydev); member in struct:phy_driver
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 101 static inline sel4utils_thread_config_t thread_config_create_reply(sel4utils_thread_config_t config) argument
107 static inline sel4utils_thread_config_t thread_config_reply(sel4utils_thread_config_t config, seL4_CPtr reply) argument
114 static inline sel4utils_thread_config_t thread_config_sched_context(sel4utils_thread_config_t config, argument
122 thread_config_cspace(sel4utils_thread_config_t config, seL4_CPtr cspace_root, seL4_Word cspace_root_data) argument
130 thread_config_auth(sel4utils_thread_config_t config, seL4_CPtr tcb) argument
138 sel4utils_thread_config_t config = {0}; local
144 thread_config_priority(sel4utils_thread_config_t config, uint8_t priority) argument
150 thread_config_mcp(sel4utils_thread_config_t config, uint8_t mcp) argument
156 thread_config_stack_size(sel4utils_thread_config_t config, seL4_Word size) argument
163 thread_config_no_ipc_buffer(sel4utils_thread_config_t config) argument
169 thread_config_fault_endpoint(sel4utils_thread_config_t config, seL4_CPtr fault_ep) argument
179 sel4utils_thread_config_t config = thread_config_new(simple); local
[all...] |
| H A D | process_config.h | 68 static inline sel4utils_process_config_t process_config_asid_pool(sel4utils_process_config_t config, argument
75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth) argument
83 sel4utils_process_config_t config = {0}; local
88 process_config_elf(sel4utils_process_config_t config, const char *image_name, bool preload) argument
97 process_config_noelf(sel4utils_process_config_t config, void *entry_point, uintptr_t sysinfo) argument
106 process_config_cnode(sel4utils_process_config_t config, vka_object_t cnode) argument
113 process_config_create_cnode(sel4utils_process_config_t config, int size_bits) argument
120 process_config_vspace(sel4utils_process_config_t config, vspace_t *vspace, vka_object_t page_dir) argument
129 process_config_create_vspace(sel4utils_process_config_t config, sel4utils_elf_region_t *reservations, int num_reservations) argument
139 process_config_priority(sel4utils_process_config_t config, uint8_t priority) argument
145 process_config_mcp(sel4utils_process_config_t config, uint8_t mcp) argument
151 process_config_create_fault_endpoint(sel4utils_process_config_t config) argument
157 process_config_fault_endpoint(sel4utils_process_config_t config, vka_object_t fault_endpoint) argument
165 process_config_fault_cptr(sel4utils_process_config_t config, seL4_CPtr fault_cptr) argument
175 sel4utils_process_config_t config = {0}; local
186 sel4utils_process_config_t config = process_config_new(simple); local
[all...] |