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