Searched refs:asid_pool (Results 1 - 11 of 11) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 65 seL4_CPtr asid_pool; member in struct:__anon50
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-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | Allocator.py | 376 for asid_pool in asid_pools:
377 if asid_pool.asid_high is not None:
378 if asid_pool.asid_high < 0 or asid_pool.asid_high >= num_asid_high:
380 (asid_pool.asid_high, asid_pool.name))
381 elif asid_pool.asid_high in free_asid_highs:
383 (asid_pool.asid_high, asid_pool.name))
385 free_asid_highs.remove(asid_pool
[all...] |
| /seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/kernel/include/kernel/ |
| H A D | boot.h | 116 pptr_t asid_pool; member in struct:__anon15
|
| /seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 62 seL4_CPtr asid_pool; member in struct:env
|
| /seL4-camkes-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);
|
Completed in 233 milliseconds