| /seL4-refos-master/kernel/include/ |
| H A D | config.h | 9 #include <sel4/config.h>
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 68 static inline sel4utils_process_config_t process_config_asid_pool(sel4utils_process_config_t config, argument
71 config.asid_pool = asid_pool;
72 return config;
75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth) argument
77 config.sched_params.auth = auth;
78 return config;
83 sel4utils_process_config_t config = {0}; local
84 config = process_config_auth(config, simple_get_tcb(simple));
85 return process_config_asid_pool(config, simple_get_init_ca
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...] |
| H A D | thread_config.h | 26 /* Threads and processes use this struct as both need scheduling config parameters */
101 static inline sel4utils_thread_config_t thread_config_create_reply(sel4utils_thread_config_t config) argument
103 config.create_reply = true;
104 return config;
107 static inline sel4utils_thread_config_t thread_config_reply(sel4utils_thread_config_t config, seL4_CPtr reply) argument
109 config.create_reply = false;
110 config.reply = reply;
111 return config;
114 static inline sel4utils_thread_config_t thread_config_sched_context(sel4utils_thread_config_t config, argument
117 config
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...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 68 static inline sel4utils_process_config_t process_config_asid_pool(sel4utils_process_config_t config, argument
71 config.asid_pool = asid_pool;
72 return config;
75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth) argument
77 config.sched_params.auth = auth;
78 return config;
83 sel4utils_process_config_t config = {0}; local
84 config = process_config_auth(config, simple_get_tcb(simple));
85 return process_config_asid_pool(config, simple_get_init_ca
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...] |
| H A D | thread_config.h | 26 /* Threads and processes use this struct as both need scheduling config parameters */
101 static inline sel4utils_thread_config_t thread_config_create_reply(sel4utils_thread_config_t config) argument
103 config.create_reply = true;
104 return config;
107 static inline sel4utils_thread_config_t thread_config_reply(sel4utils_thread_config_t config, seL4_CPtr reply) argument
109 config.create_reply = false;
110 config.reply = reply;
111 return config;
114 static inline sel4utils_thread_config_t thread_config_sched_context(sel4utils_thread_config_t config, argument
117 config
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...] |
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | stack.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
| H A D | stack.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/32/mode/kernel/ |
| H A D | stack.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/kernel/ |
| H A D | stack.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
| H A D | stack.h | 10 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
| H A D | stack.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/32/mode/ |
| H A D | types.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/ |
| H A D | types.h | 9 #include <config.h>
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 18 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config) argument
21 .config = config, .current_slot = config.first_slot
29 if (cspace->current_slot == cspace->config.end_slot) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 18 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config) argument
21 .config = config, .current_slot = config.first_slot
29 if (cspace->current_slot == cspace->config.end_slot) {
|
| /seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | am335x.h | 25 * @param[in] config Unused, should be NULL
27 int ethif_am335x_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
| H A D | imx6.h | 26 * @param[in] config Platform Specific configuration data
28 int ethif_imx6_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
| /seL4-refos-master/kernel/src/arch/x86/ |
| H A D | idle.c | 7 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/smp/ |
| H A D | ipi.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/smp/ |
| H A D | ipi.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/arm/arch/smp/ |
| H A D | ipi.h | 9 #include <config.h>
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | idle.c | 8 #include <config.h>
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | benchmark.h | 10 #include <config.h>
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/32/ |
| H A D | machine_asm.S | 7 #include <config.h>
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | pkg-config.in | 14 exec pkg-config "$@"
|