Searched refs:memory_map (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/efi/ |
| H A D | efi_init.c | 47 efi_memory_desc_t *memory_map; local
59 map_size = sizeof(*memory_map) * 32;
62 status = bts->allocate_pool(EFI_LOADER_DATA, map_size, (void **)&memory_map);
67 status = bts->get_memory_map(&map_size, memory_map, &key, &desc_size, &desc_version);
69 bts->free_pool(memory_map);
71 map_size += sizeof(*memory_map);
76 bts->free_pool(memory_map);
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | fault.h | 35 * memory_map - Description of the source's address space (can be NULL)
37 * Note that if `memory_map` is provided, the final entry of the array should
42 const camkes_memory_region_t *memory_map);
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | fault.c | 30 static void show_fault_location(const camkes_memory_region_t *memory_map, argument
33 assert(memory_map != NULL);
37 for (const camkes_memory_region_t *reg = memory_map;
61 for (const camkes_memory_region_t *reg = memory_map;
96 const camkes_memory_region_t *memory_map)
176 if (memory_map != NULL) {
177 show_fault_location(memory_map, addr);
94 camkes_show_fault(seL4_MessageInfo_t info, seL4_CPtr thread_id, const char *name, bool tcb_caps_available, const camkes_memory_region_t *memory_map) argument
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.common.c | 594 const camkes_memory_region_t *memory_map; local
606 memory_map = (camkes_memory_region_t[]){
642 memory_map = NULL;
652 memory_map);
|
Completed in 98 milliseconds