28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: cpu_ppc.h,v 1.69 2007/02/16 19:57:56 debug Exp $ |
* $Id: cpu_ppc.h,v 1.71 2007/06/07 15:36:25 debug Exp $ |
32 |
*/ |
*/ |
33 |
|
|
34 |
#include "misc.h" |
#include "misc.h" |
143 |
*/ |
*/ |
144 |
DYNTRANS_ITC(ppc) |
DYNTRANS_ITC(ppc) |
145 |
VPH_TLBS(ppc,PPC) |
VPH_TLBS(ppc,PPC) |
146 |
VPH32(ppc,PPC,uint64_t,uint8_t) |
VPH32(ppc,PPC) |
147 |
VPH64(ppc,PPC,uint8_t) |
VPH64(ppc,PPC) |
148 |
}; |
}; |
149 |
|
|
150 |
|
|
212 |
void ppc_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
void ppc_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
213 |
void ppc32_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
void ppc32_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
214 |
void ppc_init_64bit_dummy_tables(struct cpu *cpu); |
void ppc_init_64bit_dummy_tables(struct cpu *cpu); |
215 |
|
void ppc_timer_sample_tick(struct timer *, void *); |
216 |
int ppc_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
int ppc_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
217 |
unsigned char *data, size_t len, int writeflag, int cache_flags); |
unsigned char *data, size_t len, int writeflag, int cache_flags); |
218 |
int ppc_cpu_family_init(struct cpu_family *); |
int ppc_cpu_family_init(struct cpu_family *); |