28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: cpu_ia64.h,v 1.2 2005/08/14 23:44:23 debug Exp $ |
* $Id: cpu_ia64.h,v 1.3 2005/08/28 20:16:24 debug Exp $ |
32 |
*/ |
*/ |
33 |
|
|
34 |
#include "misc.h" |
#include "misc.h" |
123 |
/* cpu_ia64.c: */ |
/* cpu_ia64.c: */ |
124 |
void ia64_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
void ia64_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
125 |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
126 |
void ia64_invalidate_translation_caches_paddr(struct cpu *cpu, uint64_t paddr); |
void ia64_invalidate_translation_caches_paddr(struct cpu *cpu, uint64_t, int); |
127 |
void ia64_invalidate_code_translation_caches(struct cpu *cpu); |
void ia64_invalidate_code_translation(struct cpu *cpu, uint64_t, int); |
128 |
int ia64_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
int ia64_memory_rw(struct cpu *cpu, struct memory *mem, uint64_t vaddr, |
129 |
unsigned char *data, size_t len, int writeflag, int cache_flags); |
unsigned char *data, size_t len, int writeflag, int cache_flags); |
130 |
int ia64_userland_memory_rw(struct cpu *cpu, struct memory *mem, |
int ia64_userland_memory_rw(struct cpu *cpu, struct memory *mem, |