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

/seL4-refos-master/libs/librefos/include/refos/
H A Dvmlayout.h53 #define PROCESS_WALLOC_START 0xC0001000 macro
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/
H A Dvmlayout.h53 #define PROCESS_WALLOC_START 0xC0001000 macro
/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);

Completed in 31 milliseconds