Searched refs:sigma0_taskno (Results 1 – 4 of 4) sorted by relevance
| /l4re-core-master/sigma0/server/src/ |
| A D | init_mem.cc | 62 if (!iomem.reserve(Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
63 mismatch = 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()
68 || !Mem_man::ram()->reserve(Region(start, end, sigma0_taskno))) in init_memory()
69 mismatch = 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()
84 Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
|
| A D | globals.h | 30 sigma0_taskno = 2, enumerator
|
| A D | mem_man.h | 45 unsigned long alloc_first(unsigned long size, unsigned owner = sigma0_taskno);
|
| A D | mem_man.cc | 79 if (r.owner() == sigma0_taskno) in add()
366 L4_PAGESIZE, sigma0_taskno); in morecore()
|
Completed in 6 milliseconds