Searched refs:KernelRegionGroup (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Dmemory.py15 from hardware.utils.rule import KernelRegionGroup namespace
105 if type(reg) == KernelRegionGroup:
H A Drule.py37 class KernelRegionGroup: class in inherits:
59 def take_labels(self, other_group: 'KernelRegionGroup'):
157 def get_regions(self, node: WrappedNode) -> List[KernelRegionGroup]:
177 ret.append(KernelRegionGroup(reg, kernel_name,

Completed in 34 milliseconds