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

/seL4-camkes-master/kernel/tools/hardware/utils/
H A Drule.py19 def get_macro_str(macro: str) -> str: function
69 return get_macro_str(self.macro)
118 return get_macro_str(self.enable_macro)
130 return get_macro_str(self.sel_macro)

Completed in 35 milliseconds