| /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
|