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

/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c168 seL4_Word testBase = 0x20000000; local
180 validWindows[i] = proc_create_mem_window(testBase + windowBases[i], 10);
188 seL4_CPtr testWindow = proc_create_mem_window(testBase + testWin[i*2], testWin[i*2+1]);
213 seL4_Word testBase = 0x20000000; local
216 seL4_CPtr testRWindow = proc_create_mem_window(testBase + 0x1000, 0x2000);
219 seL4_CPtr testCheckWindow = proc_create_mem_window(testBase + 0x3000, 0x1000);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c168 seL4_Word testBase = 0x20000000; local
180 validWindows[i] = proc_create_mem_window(testBase + windowBases[i], 10);
188 seL4_CPtr testWindow = proc_create_mem_window(testBase + testWin[i*2], testWin[i*2+1]);
213 seL4_Word testBase = 0x20000000; local
216 seL4_CPtr testRWindow = proc_create_mem_window(testBase + 0x1000, 0x2000);
219 seL4_CPtr testCheckWindow = proc_create_mem_window(testBase + 0x3000, 0x1000);

Completed in 32 milliseconds