Home
last modified time | relevance | path

Searched refs:dr (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4re/util/include/
A Dregion_mapping298 Node r = find(dr);
316 if (find(dr))
321 else if (dr.start() <= g.start())
334 if (find(dr))
339 else if (dr.end() >= g.end())
344 h.free(dr.start() - g.start(), g.end() + 1 - dr.start());
351 if (find(dr))
356 else if (g.contains(dr))
361 h.free(dr.start() - g.start(), dr.size());
370 err = _rm.insert(Region(dr.end() + 1, g.end()), h + (dr.end() + 1 - g.start())).second;
[all …]
/l4re-core-master/sigma0/server/src/
A Dmemmap.cc163 L4_fpage_rights dr = inst_fetch ? (write ? L4_FPAGE_RWX : L4_FPAGE_RX) in handle_page_fault() local
167 Region r = Region::bs(l4_trunc_page(pfa), L4_PAGESIZE, t, dr); in handle_page_fault()

Completed in 4 milliseconds