Searched refs:isabelle_reg_defs (Results 1 – 1 of 1) sorted by relevance
31 static const struct reg_default isabelle_reg_defs[] = { variable1105 .reg_defaults = isabelle_reg_defs,1106 .num_reg_defaults = ARRAY_SIZE(isabelle_reg_defs),