5794   int32_t callee_saved_value = icount_;  in CallInternal()  local
5795   set_register(r4, callee_saved_value);  in CallInternal()
5796   set_register(r5, callee_saved_value);  in CallInternal()
5797   set_register(r6, callee_saved_value);  in CallInternal()
5798   set_register(r7, callee_saved_value);  in CallInternal()
5799   set_register(r8, callee_saved_value);  in CallInternal()
5800   set_register(r9, callee_saved_value);  in CallInternal()
5801   set_register(r10, callee_saved_value);  in CallInternal()
5802   set_register(r11, callee_saved_value);  in CallInternal()
5808   CHECK_EQ(callee_saved_value, get_register(r4));  in CallInternal()
5809   CHECK_EQ(callee_saved_value, get_register(r5));  in CallInternal()
5810   CHECK_EQ(callee_saved_value, get_register(r6));  in CallInternal()
5811   CHECK_EQ(callee_saved_value, get_register(r7));  in CallInternal()
5812   CHECK_EQ(callee_saved_value, get_register(r8));  in CallInternal()
5813   CHECK_EQ(callee_saved_value, get_register(r9));  in CallInternal()
5814   CHECK_EQ(callee_saved_value, get_register(r10));  in CallInternal()
5815   CHECK_EQ(callee_saved_value, get_register(r11));  in CallInternal()