28 |
* SUCH DAMAGE. |
* SUCH DAMAGE. |
29 |
* |
* |
30 |
* |
* |
31 |
* $Id: cpu_arm.h,v 1.74 2007/06/14 04:53:14 debug Exp $ |
* $Id: cpu_arm.h,v 1.75 2007/07/20 09:03:33 debug Exp $ |
32 |
*/ |
*/ |
33 |
|
|
34 |
#include "misc.h" |
#include "misc.h" |
35 |
#include "interrupt.h" |
#include "interrupt.h" |
36 |
|
|
37 |
struct cpu_family; |
struct cpu_family; |
|
struct timer; |
|
38 |
|
|
39 |
/* ARM CPU types: */ |
/* ARM CPU types: */ |
40 |
struct arm_cpu_type_def { |
struct arm_cpu_type_def { |
289 |
uint32_t paddr); |
uint32_t paddr); |
290 |
void arm_exception(struct cpu *, int); |
void arm_exception(struct cpu *, int); |
291 |
int arm_run_instr(struct cpu *cpu); |
int arm_run_instr(struct cpu *cpu); |
|
void arm_timer_sample_tick(struct timer *, void *); |
|
292 |
void arm_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
void arm_update_translation_table(struct cpu *cpu, uint64_t vaddr_page, |
293 |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
unsigned char *host_page, int writeflag, uint64_t paddr_page); |
294 |
void arm_invalidate_translation_caches(struct cpu *cpu, uint64_t, int); |
void arm_invalidate_translation_caches(struct cpu *cpu, uint64_t, int); |