Searched refs:test_file_server_dataspace (Results 1 - 2 of 2) sorted by last modified time

/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_fileserv.c68 test_file_server_dataspace() function
163 test_file_server_dataspace();
/seL4-refos-master/apps/test_os/src/
H A Dtest_fileserv.c68 test_file_server_dataspace() function
163 test_file_server_dataspace();

Completed in 34 milliseconds