Revision 74d37793 target-ppc/op_helper.h

b/target-ppc/op_helper.h
34 34
void do_store_hid0_601 (void);
35 35
#endif
36 36

  
37
/* PowerPC 440 specific helpers */
38
#if !defined(CONFIG_USER_ONLY)
39
void do_440_tlbre (int word);
40
void do_440_tlbwe (int word);
41
#endif
42

  
43
/* PowerPC 4xx specific helpers */
44
#if !defined(CONFIG_USER_ONLY)
45
void do_4xx_tlbre_lo (void);
46
void do_4xx_tlbre_hi (void);
47
void do_4xx_tlbwe_lo (void);
48
void do_4xx_tlbwe_hi (void);
49
#endif
50

  
51 37
/* PowerPC 403 specific helpers */
52 38
#if !defined(CONFIG_USER_ONLY)
53 39
void do_load_403_pb (int num);

Also available in: Unified diff