Lines Matching refs:end
46 unsigned long start, end; in init_memory() local
50 end = l4_trunc_page(md.end() + 1) - 1; in init_memory()
55 end = l4_round_page(md.end()) - 1; in init_memory()
61 Mem_man::ram()->add_free(Region(start, end)); in init_memory()
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()
74 Region(start, end, root_taskno, in init_memory()
77 mismatch = Region(start, end, root_taskno); in init_memory()
82 iomem.add_free(Region(start, end, 0, L4_FPAGE_RW)); in init_memory()
84 Region(start, end, sigma0_taskno, L4_FPAGE_RW))) in init_memory()
85 mismatch = Region(start, end, root_taskno); in init_memory()