Revision 5356c7b5

b/target-ppc/op_helper.h
134 134
#if defined(TARGET_PPC64H)
135 135
void do_hrfid (void);
136 136
#endif
137
void do_tlbia (void);
138
void do_tlbie (void);
139
#if defined(TARGET_PPC64)
140
void do_tlbie_64 (void);
141
#endif
142 137
void do_load_6xx_tlb (int is_code);
143
#if defined(TARGET_PPC64)
144
void do_slbia (void);
145
void do_slbie (void);
146
#endif
147 138
#endif
148 139

  
149 140
/* POWER / PowerPC 601 specific helpers */
......
170 161
/* PowerPC 440 specific helpers */
171 162
#if !defined(CONFIG_USER_ONLY)
172 163
void do_440_tlbre (int word);
173
void do_440_tlbsx (void);
174
void do_440_tlbsx_ (void);
175 164
void do_440_tlbwe (int word);
176 165
#endif
177 166

  
......
187 176
void do_rfmci (void);
188 177
void do_4xx_tlbre_lo (void);
189 178
void do_4xx_tlbre_hi (void);
190
void do_4xx_tlbsx (void);
191
void do_4xx_tlbsx_ (void);
192 179
void do_4xx_tlbwe_lo (void);
193 180
void do_4xx_tlbwe_hi (void);
194 181
#endif

Also available in: Unified diff