Searched refs:VIRTUAL_START (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 30 #define VIRTUAL_START 0xA0000000 macro
48 reservation_t *reservation = vspace_reserve_range_at(&vspace, VIRTUAL_START, MEM_POOL_SIZE, seL4_AllRights, 1);
51 bootstrap_configure_virtual_pool(allocman, VIRTUAL_START, MEM_POOL_SIZE, seL4_CapInitThreadPD);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 30 #define VIRTUAL_START 0xA0000000 macro
48 reservation_t *reservation = vspace_reserve_range_at(&vspace, VIRTUAL_START, MEM_POOL_SIZE, seL4_AllRights, 1);
51 bootstrap_configure_virtual_pool(allocman, VIRTUAL_START, MEM_POOL_SIZE, seL4_CapInitThreadPD);
|
Completed in 32 milliseconds