Searched refs:seL4_CapInitThreadPD (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 40 #define seL4_CapInitThreadPD seL4_CapInitThreadVSpace macro
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 40 #define seL4_CapInitThreadPD seL4_CapInitThreadVSpace macro
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 46 sel4util_get_vspace_alloc_leaky(&vspace, seL4_CapInitThreadPD, vka, seL4_GetBootInfo());
51 bootstrap_configure_virtual_pool(allocman, VIRTUAL_START, MEM_POOL_SIZE, seL4_CapInitThreadPD);
171 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
239 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 46 sel4util_get_vspace_alloc_leaky(&vspace, seL4_CapInitThreadPD, vka, seL4_GetBootInfo());
51 bootstrap_configure_virtual_pool(allocman, VIRTUAL_START, MEM_POOL_SIZE, seL4_CapInitThreadPD);
171 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
239 pd = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadPD);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 80 seL4_CapInitThreadPD, &s->vka, info);
92 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_CapInitThreadPD);
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.c | 80 seL4_CapInitThreadPD, &s->vka, info);
92 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_CapInitThreadPD);
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | common.c | 115 seL4_CapInitThreadPD,
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 115 seL4_CapInitThreadPD,
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/ |
| H A D | simple.h | 421 return simple_init_cap(simple, seL4_CapInitThreadPD);
|
| /seL4-refos-master/libs/libsel4simple/include/simple/ |
| H A D | simple.h | 421 return simple_init_cap(simple, seL4_CapInitThreadPD);
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 645 bs->pd = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadPD);
928 info->boot_cspace.make_path(info->boot_cspace.cspace, seL4_CapInitThreadPD),
950 info->boot_cspace.make_path(info->boot_cspace.cspace, seL4_CapInitThreadPD),
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 645 bs->pd = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadPD);
928 info->boot_cspace.make_path(info->boot_cspace.cspace, seL4_CapInitThreadPD),
950 info->boot_cspace.make_path(info->boot_cspace.cspace, seL4_CapInitThreadPD),
|
Completed in 61 milliseconds