Searched defs:windowSize (Results 1 - 4 of 4) sorted by last modified time

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c99 sl_create_zero_segment(seL4_Word start, seL4_Word size, seL4_Word windowSize, sl_dataspace_t *out) argument
197 int windowSize = windowEnd - si.vaddr; local
[all...]
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c99 sl_create_zero_segment(seL4_Word start, seL4_Word size, seL4_Word windowSize, sl_dataspace_t *out) argument
197 int windowSize = windowEnd - si.vaddr; local
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_addrspace.c123 const vaddr_t windowSize = 0x8000; local
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_addrspace.c123 const vaddr_t windowSize = 0x8000; local

Completed in 68 milliseconds