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

/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c177 seL4_CPtr validWindows[5]; local
180 validWindows[i] = proc_create_mem_window(testBase + windowBases[i], 10);
181 test_assert(validWindows[i] != 0 && ROS_ERRNO() == ESUCCESS);
200 if (validWindows[i]) {
201 int error = proc_delete_mem_window(validWindows[i]);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c177 seL4_CPtr validWindows[5]; local
180 validWindows[i] = proc_create_mem_window(testBase + windowBases[i], 10);
181 test_assert(validWindows[i] != 0 && ROS_ERRNO() == ESUCCESS);
200 if (validWindows[i]) {
201 int error = proc_delete_mem_window(validWindows[i]);

Completed in 86 milliseconds