Searched refs:test_bss (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c50 test_bss(void) function
122 test_bss();
/seL4-refos-master/apps/test_user/src/
H A Dtest_user.c50 test_bss(void) function
122 test_bss();
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c66 test_bss(void) function
468 test_bss();
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c66 test_bss(void) function
468 test_bss();

Completed in 78 milliseconds