Searched refs:print_idecode_switch (Results 1 – 1 of 1) sorted by relevance
310 void print_idecode_switch422 print_idecode_switch(file, entry, result); in idecode_switch_leaf()541 print_idecode_switch(lf *file, in print_idecode_switch() function622 print_idecode_switch(file, table, "return"); in idecode_expand_if_switch()678 print_idecode_switch(file, table, result); in print_idecode_body()