Searched refs:testServerPath (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c274 char *testServerPath = "/os_test_dummy_server/foo.txt"; local
277 mp = nsv_resolve(testServerPath);
291 mp = nsv_resolve(testServerPath);
318 mp = nsv_resolve(testServerPath);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c274 char *testServerPath = "/os_test_dummy_server/foo.txt"; local
277 mp = nsv_resolve(testServerPath);
291 mp = nsv_resolve(testServerPath);
318 mp = nsv_resolve(testServerPath);

Completed in 81 milliseconds