Searched defs:set_kernel_offset (Results 1 - 1 of 1) sorted by path

/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py75 def set_kernel_offset(self, offset): member in class:KernelRegionGroup

Completed in 28 milliseconds