Searched refs:testWin (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_memserv.c | 112 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 D | test_memserv.c | 112 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 D | test_os.c | 184 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 D | test_os.c | 184 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