| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 65 seL4_CPtr asid_pool; member in struct:__anon54
69 seL4_CPtr asid_pool)
71 config.asid_pool = asid_pool;
173 static inline sel4utils_process_config_t process_config_default(const char *image_name, seL4_CPtr asid_pool) argument
176 config = process_config_asid_pool(config, asid_pool);
68 process_config_asid_pool(sel4utils_process_config_t config, seL4_CPtr asid_pool) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/include/ |
| H A D | test_init_data.h | 40 seL4_CPtr asid_pool; member in struct:__anon28
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/include/ |
| H A D | test_init_data.h | 40 seL4_CPtr asid_pool; member in struct:__anon29
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/ |
| H A D | structures.h | 48 struct asid_pool { struct
52 typedef struct asid_pool asid_pool_t;
|
| /seL4-test-master/kernel/include/arch/riscv/arch/object/ |
| H A D | structures.h | 23 struct asid_pool { struct
27 typedef struct asid_pool asid_pool_t;
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/ |
| H A D | structures.h | 99 struct asid_pool { struct
103 typedef struct asid_pool asid_pool_t;
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | process.c | 422 static seL4_CPtr get_asid_pool(seL4_CPtr asid_pool) argument
424 if (asid_pool == 0) {
426 asid_pool = seL4_CapInitThreadASIDPool;
429 return asid_pool;
432 static seL4_CPtr assign_asid_pool(seL4_CPtr asid_pool, seL4_CPtr pd) argument
434 int error = seL4_ARCH_ASIDPool_Assign(get_asid_pool(asid_pool), pd);
443 seL4_Word cspace_root_data, seL4_CPtr asid_pool)
478 vka_cspace_make_path(vka, get_asid_pool(asid_pool), &src);
520 assign_asid_pool(config.asid_pool, process->pd.cptr) != seL4_NoError) {
538 config.asid_pool) !
442 create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, seL4_Word cspace_root_data, seL4_CPtr asid_pool) argument
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 105 struct asid_pool { struct
108 typedef struct asid_pool asid_pool_t;
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | main.c | 203 env.asid_pool = init_data->asid_pool;
|
| H A D | helpers.c | 230 create_helper_process_custom_asid(env, thread, env->asid_pool);
|
| /seL4-test-master/kernel/include/kernel/ |
| H A D | boot.h | 116 pptr_t asid_pool; member in struct:__anon15
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | vspace.c | 59 seL4_ARM_ASIDPool_Assign(env->asid_pool, pd);
104 seL4_ARM_ASIDPool_Assign(env->asid_pool, vspace);
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 91 struct asid_pool { struct
95 typedef struct asid_pool asid_pool_t;
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | ept.c | 64 error = seL4_X86_ASIDPool_Assign(env->asid_pool, *pml4);
105 error = seL4_X86_ASIDPool_Assign(env->asid_pool, *pml4);
|
| /seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 62 seL4_CPtr asid_pool; member in struct:env
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | testtypes.c | 215 env->init->asid_pool = sel4utils_copy_cap_to_process(&(env->test_process), &env->vka, simple_get_init_cap(&env->simple,
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | boot.c | 196 rootserver.asid_pool = alloc_rootserver_obj(seL4_ASIDPoolBits, 1);
380 cap_t ap_cap = cap_asid_pool_cap_new(IT_ASID >> asidLowBits, rootserver.asid_pool);
|