/seL4-l4v-master/seL4/tools/hardware/utils/ |
H A D | memory.py | 14 from hardware.memory import Region namespace 29 def parse_reserved_regions(node: WrappedNode) -> Set[Region]: 42 def reserve_regions(regions: Set[Region], reserved: Set[Region]) -> Set[Region]: 57 def align_memory(regions: Set[Region], config: Config) -> List[Region]: 70 resv = Region(ret[0].base, config.get_bootloader_reserve(), None) 77 resv = Region(ret[0].base, new.base - ret[0].base, None) 88 def get_physical_memory(tree: FdtParser, config: Config) -> List[Region] [all...] |
H A D | rule.py | 16 from hardware.memory import Region namespace 40 def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macro: str = None, user_ok: bool = False):
|
/seL4-l4v-master/seL4/tools/hardware/ |
H A D | memory.py | 13 class Region: class in inherits: 23 ret = Region(other.base, other.size) 27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size) 45 ret = Region(start, end - start, owner) 62 return [Region(self.base, self.size, self.owner)] 67 ret.append(Region.from_range(self.base, excluded.base, self.owner)) 71 ret.append(Region.from_range(excluded.base + excluded.size, 77 ret.append(Region.from_range(excluded.base + excluded.size, 86 new = Region(new_base, new_size, self.owner) 95 new = Region(new_bas [all...] |
H A D | device.py | 13 from hardware.memory import Region namespace 100 def get_regions(self) -> List[Region]: 108 reg.append(Region(self.parent._translate_child_address(r[0]), r[1], self))
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 2 Title: GraphBrowser/Region.java 15 class Region { class 19 public Region(Graph g) { gra=g; } method in class:Region 75 public void combine(Region r2) { 80 public int spaceBetween(Region r2) { 86 public boolean touching(Region r2) {
|
H A D | Graph.java | 556 Region r1,r2; 564 Region r=new Region(this); 576 d1=((Region)(l.firstElement())).pred_deflection(); 578 r1=(Region)(l.elementAt(i)); 579 r2=(Region)(l.elementAt(i+1)); 593 r1=(Region)(l.elementAt(i)); 597 ((Region)(l.elementAt(i-1))).spaceBetween(r1),-d1); 599 r1.spaceBetween((Region)(l.elementAt(i+1))),d1);
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 2 Title: GraphBrowser/Region.java 15 class Region { class 19 public Region(Graph g) { gra=g; } method in class:Region 75 public void combine(Region r2) { 80 public int spaceBetween(Region r2) { 86 public boolean touching(Region r2) {
|
H A D | Graph.java | 556 Region r1,r2; 564 Region r=new Region(this); 576 d1=((Region)(l.firstElement())).pred_deflection(); 578 r1=(Region)(l.elementAt(i)); 579 r2=(Region)(l.elementAt(i+1)); 593 r1=(Region)(l.elementAt(i)); 597 ((Region)(l.elementAt(i-1))).spaceBetween(r1),-d1); 599 r1.spaceBetween((Region)(l.elementAt(i+1))),d1);
|
/seL4-l4v-master/l4v/isabelle/lib/browser/ |
H A D | build | 37 GraphBrowser/Region.java
|
/seL4-l4v-master/isabelle/lib/browser/ |
H A D | build | 37 GraphBrowser/Region.java
|
/seL4-l4v-master/isabelle/src/Tools/Graphview/ |
H A D | layout.scala | 248 private class Region(val content: List[Vertex]) 250 def distance(metrics: Metrics, graph: Graph, that: Region): Double = 265 def combine(that: Region): Region = new Region(content ::: that.content) 271 def combine_regions(graph: Graph, top_down: Boolean, level: List[Region]): List[Region] = 290 def deflect(level: List[Region], top_down: Boolean, graph: Graph): (Graph, Boolean) = 306 val initial_regions = levels.map(level => level.map(l => new Region(List(l)))) 314 ((graph, List.empty[List[Region]], fals [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/ |
H A D | layout.scala | 248 private class Region(val content: List[Vertex]) 250 def distance(metrics: Metrics, graph: Graph, that: Region): Double = 265 def combine(that: Region): Region = new Region(content ::: that.content) 271 def combine_regions(graph: Graph, top_down: Boolean, level: List[Region]): List[Region] = 290 def deflect(level: List[Region], top_down: Boolean, graph: Graph): (Graph, Boolean) = 306 val initial_regions = levels.map(level => level.map(l => new Region(List(l)))) 314 ((graph, List.empty[List[Region]], fals [all...] |
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Clipping.sml | 24 type RegionOperation = Region.RegionOperation 25 type ResultRegion = Region.ResultRegion
|
H A D | Painting.sml | 54 val GetUpdateRgn : HWND * HRGN * bool -> Region.ResultRegion 69 type ResultRegion = Region.ResultRegion
|
H A D | Region.sml | 19 structure Region: structure 204 Other Region Functions
|