28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: cpu_avr.h,v 1.4 2005/09/17 22:34:53 debug Exp $ |
* $Id: cpu_avr.h,v 1.7 2005/10/27 14:01:15 debug Exp $ |
32 |
*/ |
*/ |
33 |
|
|
34 |
#include "misc.h" |
#include "misc.h" |
54 |
|
|
55 |
/* Translation cache struct for each physical page: */ |
/* Translation cache struct for each physical page: */ |
56 |
struct avr_tc_physpage { |
struct avr_tc_physpage { |
57 |
|
struct avr_instr_call ics[AVR_IC_ENTRIES_PER_PAGE + 1]; |
58 |
uint32_t next_ofs; /* or 0 for end of chain */ |
uint32_t next_ofs; /* or 0 for end of chain */ |
59 |
uint32_t physaddr; |
uint32_t physaddr; |
60 |
int flags; |
int flags; |
|
struct avr_instr_call ics[AVR_IC_ENTRIES_PER_PAGE + 1]; |
|
61 |
}; |
}; |
62 |
|
|
63 |
|
|
131 |
unsigned char *host_store[AVR_N_VPH_ENTRIES]; |
unsigned char *host_store[AVR_N_VPH_ENTRIES]; |
132 |
uint32_t phys_addr[AVR_N_VPH_ENTRIES]; |
uint32_t phys_addr[AVR_N_VPH_ENTRIES]; |
133 |
struct avr_tc_physpage *phys_page[AVR_N_VPH_ENTRIES]; |
struct avr_tc_physpage *phys_page[AVR_N_VPH_ENTRIES]; |
134 |
|
|
135 |
|
uint32_t phystranslation[AVR_N_VPH_ENTRIES/32]; |
136 |
}; |
}; |
137 |
|
|
138 |
|
|
139 |
/* cpu_avr.c: */ |
/* cpu_avr.c: */ |
140 |
void avr_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
void avr_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
141 |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
142 |
void avr_invalidate_translation_caches_paddr(struct cpu *cpu, uint64_t, int); |
void avr_invalidate_translation_caches(struct cpu *cpu, uint64_t, int); |
143 |
void avr_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
void avr_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
144 |
int avr_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
int avr_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
145 |
unsigned char *data, size_t len, int writeflag, int cache_flags); |
unsigned char *data, size_t len, int writeflag, int cache_flags); |