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

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c40 #define VSPACE_RESERVE_START (KERNEL_RESERVED_START - VSPACE_RESERVE_SIZE) macro
274 data->next_bootstrap_vaddr = VSPACE_RESERVE_START;
279 if (reserve_range(vspace, VSPACE_RESERVE_START, VSPACE_RESERVE_START + VSPACE_RESERVE_SIZE)) {
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c40 #define VSPACE_RESERVE_START (KERNEL_RESERVED_START - VSPACE_RESERVE_SIZE) macro
274 data->next_bootstrap_vaddr = VSPACE_RESERVE_START;
279 if (reserve_range(vspace, VSPACE_RESERVE_START, VSPACE_RESERVE_START + VSPACE_RESERVE_SIZE)) {

Completed in 30 milliseconds