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

/seL4-refos-master/libs/librefos/include/refos/
H A Dvmlayout.h31 #define PROCESS_MAX_WINDOWS 8192 macro
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/
H A Dvmlayout.h31 #define PROCESS_MAX_WINDOWS 8192 macro
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Ddataspace.c126 for (int i = 0; i < PROCESS_MAX_WINDOWS; i++) {
/seL4-refos-master/apps/file_server/src/
H A Ddataspace.c126 for (int i = 0; i < PROCESS_MAX_WINDOWS; i++) {

Completed in 92 milliseconds