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

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Drule.py67 def get_macro(self): member in class:KernelRegionGroup

Completed in 28 milliseconds