| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/pc99/ |
| H A D | plat.c | 17 void plat_init(driver_env_t env) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | alignment.c | 24 static inline int test_stack_alignment(struct env *env) argument
|
| H A D | breakpoints.c | 146 static int test_debug_api_single_step(struct env *env) argument
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | benchmark_api.c | 24 static int test_benchmark_utilisation(env_t env) argument
|
| H A D | threads.c | 22 int test_tcb_null_cspace_configure(env_t env) argument
41 int test_tcb_null_cspace_setspace(env_t env) argument
|
| H A D | trivial.c | 19 int test_trivial(env_t env) argument
26 int test_allocator(env_t env) argument
|
| H A D | inc_untyped.c | 18 static int test_retype(env_t env) argument
120 test_incretype(env_t env) argument
161 test_incretype2(env_t env) argument
[all...] |
| H A D | cspace.c | 60 static int test_full_cspace(env_t env) argument
|
| H A D | domains.cxx | 34 own_domain_success(struct env *env) argument
44 own_domain_baddom(struct env *env) argument
54 own_domain_badcap(struct env *env) argument
63 fdom1(seL4_Word id, env_t env) argument
80 test_domains(struct env *env, F func) argument
119 test_run_domains(struct env* env) argument
136 test_run_domains_shift(struct env* env) argument
143 test_own_domain1(struct env* env) argument
150 test_own_domain2(struct env* env) argument
157 test_own_domain3(struct env* env) argument
[all...] |
| H A D | nbwait.c | 32 static int test_nbwait(env_t env) argument
[all...] |
| H A D | cnodeops.c | 28 static int test_cnode_copy(env_t env) argument
67 test_cnode_delete(env_t env) argument
89 test_cnode_mint(env_t env) argument
118 test_cnode_move(env_t env) argument
151 test_cnode_mutate(env_t env) argument
185 test_cnode_cancelBadgedSends(env_t env) argument
207 test_cnode_revoke(env_t env) argument
229 test_cnode_rotate(env_t env) argument
288 test_cnode_savecaller(env_t env) argument
[all...] |
| H A D | fpu.c | 41 static int test_fpu_trivial(env_t env) argument
94 static int test_fpu_multithreaded(struct env *env) argument
158 int smp_test_fpu(env_t env) argument
[all...] |
| H A D | sync.c | 32 static int bin_sem_func(env_t env, int threadid) argument
53 static int test_bin_sem(struct env *env) argument
88 sem_func(env_t env, int threadid) argument
109 test_sem(struct env *env) argument
144 consumer_func(env_t env, int threadid) argument
172 producer_func(env_t env, int threadid) argument
200 test_monitor(struct env *env) argument
255 broadcaster_func(env_t env, int threadid) argument
280 test_monitor_broadcast(struct env *env) argument
[all...] |
| H A D | tls.c | 26 static int test_root_tls(env_t env) argument
79 static int test_threads_tls(env_t env) argument
172 int test_sel4utils_thread_tls(env_t env) argument
[all...] |
| H A D | interrupt.c | 22 static void interrupt_helper(env_t env, volatile int *state, int runs, seL4_CPtr endpoint) argument
36 static int test_interrupt_notification_sc(env_t env) argument
77 test_interrupt_notification_and_tcb_sc(env_t env) argument
132 test_interrupt_no_sc(env_t env) argument
168 test_interrupt_notification_sc_two_clients(env_t env) argument
224 test_interrupt_delete_sc(env_t env) argument
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/exynos5/ |
| H A D | plat.c | 20 void plat_init(driver_env_t env) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/imx6/ |
| H A D | plat.c | 18 void plat_init(driver_env_t env) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/arch/arm/ |
| H A D | arch.c | 27 seL4_SlotRegion arch_copy_iospace_caps_to_process(sel4utils_process_t *process, driver_env_t env) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
| H A D | interrupt.c | 28 static int is_timer_interrupt(driver_env_t env, int irq) argument
40 static int override_timer_irqs(driver_env_t env, int targetCore) argument
65 static int test_core(driver_env_t env, int core) argument
83 test_core_affinity_interrupt(driver_env_t env) argument
[all...] |
| H A D | syscall.c | 270 test_debug_put_char(driver_env_t env) argument
284 test_recv(driver_env_t env) argument
303 test_reply_recv(driver_env_t env) argument
322 test_nb_recv(driver_env_t env) argument
341 test_wait(driver_env_t env) argument
379 test_nbsend_recv(driver_env_t env) argument
[all...] |
| H A D | timer.c | 40 int test_timer(driver_env_t env) argument
71 test_gettime_timeout(driver_env_t env) argument
[all...] |
| H A D | smmu.c | 29 static void create_smmu_vspace(driver_env_t env) argument
42 static int test_smmu_control_caps(driver_env_t env) argument
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/arm/ |
| H A D | arch.c | 54 void arch_init_allocator(env_t env, test_init_data_t *data) argument
65 void arch_init_simple(env_t env, simple_t *simple) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | test.c | 34 test_server_spawn(struct env *env) argument
48 test_parent_connect(struct env *env) argument
72 test_parent_printf(struct env *env) argument
98 test_parent_write(struct env *env) argument
125 test_parent_disconnect_reconnect_write_and_printf(struct env *env) argument
177 test_kill_from_parent(struct env *env) argument
205 test_spawn_thread_inputs(struct env *env) argument
229 test_connect_inputs(struct env *env) argument
266 test_printf_inputs(struct env *env) argument
294 test_write_inputs(struct env *env) argument
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/ |
| H A D | arch.c | 63 void arch_init_simple(env_t env, simple_t *simple) argument
71 void arch_init_allocator(env_t env, test_init_data_t *data) argument
|