Searched refs:c15_i_max (Results 1 – 2 of 2) sorted by relevance
136 uint32_t c15_i_max; /* Maximum D-cache dirty line index. */ member
133 env->cp15.c15_i_max = 0x000; in cpu_reset_model_id()1472 env->cp15.c15_i_max = 0x000; in HELPER()1598 env->cp15.c15_i_max = val; in HELPER()1868 return env->cp15.c15_i_max; in HELPER()