Searched refs:instruction_fun_specs (Results 1 - 1 of 1) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dinst_logic.py58 instruction_fun_specs = { variable
130 if base_ident not in instruction_fun_specs:
132 (impl_fname, regspecs) = instruction_fun_specs[base_ident]
158 if base_ident not in instruction_fun_specs:
160 (impl_fname, regspecs) = instruction_fun_specs[base_ident]

Completed in 36 milliseconds