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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_memserv.c112 int testWin[] = {100, 1, 201, 20, 210, 10, 490, 50, 0, 499}; local
116 bool check = w_associate_check(&aw, testWin[i*2], testWin[i*2+1]);
117 tvprintf("------- check for window [%d -> %d], %d\n", testWin[i*2],
118 testWin[i*2] + testWin[i*2+1], check);
139 bool check = w_associate_check(&aw, testWin[i*2], testWin[i*2+1]);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_memserv.c112 int testWin[] = {100, 1, 201, 20, 210, 10, 490, 50, 0, 499}; local
116 bool check = w_associate_check(&aw, testWin[i*2], testWin[i*2+1]);
117 tvprintf("------- check for window [%d -> %d], %d\n", testWin[i*2],
118 testWin[i*2] + testWin[i*2+1], check);
139 bool check = w_associate_check(&aw, testWin[i*2], testWin[i*2+1]);
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c184 int testWin[] = {0x2000, 1, 0x4001, 20, 0x7000, 10, 0x6002, 50, 0, 0x9FFF}; local
188 seL4_CPtr testWindow = proc_create_mem_window(testBase + testWin[i*2], testWin[i*2+1]);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c184 int testWin[] = {0x2000, 1, 0x4001, 20, 0x7000, 10, 0x6002, 50, 0, 0x9FFF}; local
188 seL4_CPtr testWindow = proc_create_mem_window(testBase + testWin[i*2], testWin[i*2+1]);

Completed in 36 milliseconds