Searched refs:cspace_simple1level_t (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 18 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config)
20 *cspace = (cspace_simple1level_t) {
27 cspace_simple1level_t *cspace = (cspace_simple1level_t*)_cspace;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 18 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config)
20 *cspace = (cspace_simple1level_t) {
27 cspace_simple1level_t *cspace = (cspace_simple1level_t*)_cspace;
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 38 } cspace_simple1level_t; typedef in typeref:struct:cspace_simple1level
42 cspace_simple1level_t *cspace = (cspace_simple1level_t*)_cspace;
56 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config);
66 static inline struct cspace_interface cspace_simple1level_make_interface(cspace_simple1level_t *cspace) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 38 } cspace_simple1level_t; typedef in typeref:struct:cspace_simple1level
42 cspace_simple1level_t *cspace = (cspace_simple1level_t*)_cspace;
56 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config);
66 static inline struct cspace_interface cspace_simple1level_make_interface(cspace_simple1level_t *cspace) {
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 120 allocman_t *bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace);
139 allocman_t *bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 120 allocman_t *bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace);
139 allocman_t *bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace);
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 120 cspace_simple1level_t *boot_cspace;
139 cspace_simple1level_t boot_cspace;
188 cspace_simple1level_t *boot_cspace;
207 cspace_simple1level_t boot_cspace;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 120 cspace_simple1level_t *boot_cspace;
139 cspace_simple1level_t boot_cspace;
188 cspace_simple1level_t *boot_cspace;
207 cspace_simple1level_t boot_cspace;
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 53 cspace_simple1level_t maybe_boot_cspace;
898 static allocman_t *_new_from_bootinfo_common(bootstrap_info_t *info, cspace_simple1level_t **old_cspace) {
916 allocman_t *bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) {
937 allocman_t *bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 53 cspace_simple1level_t maybe_boot_cspace;
898 static allocman_t *_new_from_bootinfo_common(bootstrap_info_t *info, cspace_simple1level_t **old_cspace) {
916 allocman_t *bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) {
937 allocman_t *bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) {
|
Completed in 36 milliseconds