Searched refs:iomem (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | init_mem.cc | 37 iomem.add_free(Region(0, ~0UL, 0, L4_FPAGE_RW)); in init_memory()
62 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
67 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW)) in init_memory()
72 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW)) in init_memory()
82 iomem.add_free(Region(start, end, 0, L4_FPAGE_RW)); in init_memory()
|
| A D | memmap.h | 21 extern Mem_man iomem;
|
| A D | memmap.cc | 34 Mem_man iomem; variable
44 iomem.dump(); in dump_all()
131 p = iomem.find(r); in map_mem()
|
Completed in 4 milliseconds