28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: cpu_ia64.h,v 1.13 2006/02/24 00:20:42 debug Exp $ |
* $Id: cpu_ia64.h,v 1.14 2006/07/16 13:32:27 debug Exp $ |
32 |
*/ |
*/ |
33 |
|
|
34 |
#include "misc.h" |
#include "misc.h" |
71 |
|
|
72 |
|
|
73 |
/* cpu_ia64.c: */ |
/* cpu_ia64.c: */ |
74 |
|
int ia64_run_instr(struct cpu *cpu); |
75 |
void ia64_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
void ia64_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
76 |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
77 |
void ia64_invalidate_translation_caches(struct cpu *cpu, uint64_t, int); |
void ia64_invalidate_translation_caches(struct cpu *cpu, uint64_t, int); |