Searched defs:Region (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java15 class Region { class
19 public Region(Graph g) { gra=g; } method in class:Region
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java15 class Region { class
19 public Region(Graph g) { gra=g; } method in class:Region
/seL4-l4v-master/seL4/tools/hardware/utils/
H A Dmemory.py14 from hardware.memory import Region namespace
[all...]
H A Drule.py16 from hardware.memory import Region namespace
/seL4-l4v-master/seL4/tools/hardware/
H A Dmemory.py13 class Region: class in inherits:
[all...]
H A Ddevice.py13 from hardware.memory import Region namespace
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DRegion.sml19 structure Region: structure

Completed in 90 milliseconds