Searched refs:PROCESS_WALLOC_END (Results 1 - 4 of 4) sorted by last modified time

/seL4-refos-master/libs/librefos/src/refos-util/
H A Dinit.c740 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
767 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
802 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dinit.c740 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
767 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
802 walloc_init(PROCESS_WALLOC_START, PROCESS_WALLOC_END);
/seL4-refos-master/libs/librefos/include/refos/
H A Dvmlayout.h52 #define PROCESS_WALLOC_END 0xD0000000 macro
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/
H A Dvmlayout.h52 #define PROCESS_WALLOC_END 0xD0000000 macro

Completed in 26 milliseconds