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

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Drule.py29 def get_endif(macro: str) -> str: function
71 def get_endif(self): member in class:KernelRegionGroup
73 return get_endif(self.macro)
126 return get_endif(self.enable_macro)
138 return get_endif(self.sel_macro)

Completed in 147 milliseconds