2007-11-17 18:14:51 +01:00
|
|
|
/*
|
|
|
|
* Misc ARM declarations
|
|
|
|
*
|
|
|
|
* Copyright (c) 2006 CodeSourcery.
|
|
|
|
* Written by Paul Brook
|
|
|
|
*
|
2011-06-26 04:21:35 +02:00
|
|
|
* This code is licensed under the LGPL.
|
2007-11-17 18:14:51 +01:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef ARM_MISC_H
|
|
|
|
#define ARM_MISC_H 1
|
|
|
|
|
2011-07-25 13:27:01 +02:00
|
|
|
#include "memory.h"
|
|
|
|
|
2007-11-17 18:14:51 +01:00
|
|
|
/* The CPU is also modeled as an interrupt controller. */
|
|
|
|
#define ARM_PIC_CPU_IRQ 0
|
|
|
|
#define ARM_PIC_CPU_FIQ 1
|
|
|
|
qemu_irq *arm_pic_init_cpu(CPUState *env);
|
|
|
|
|
|
|
|
/* armv7m.c */
|
2011-07-25 13:27:01 +02:00
|
|
|
qemu_irq *armv7m_init(MemoryRegion *address_space_mem,
|
|
|
|
int flash_size, int sram_size,
|
2007-11-17 18:14:51 +01:00
|
|
|
const char *kernel_filename, const char *cpu_model);
|
|
|
|
|
|
|
|
/* arm_boot.c */
|
2008-04-14 22:27:51 +02:00
|
|
|
struct arm_boot_info {
|
|
|
|
int ram_size;
|
|
|
|
const char *kernel_filename;
|
|
|
|
const char *kernel_cmdline;
|
|
|
|
const char *initrd_filename;
|
2009-10-01 23:12:16 +02:00
|
|
|
target_phys_addr_t loader_start;
|
|
|
|
target_phys_addr_t smp_loader_start;
|
2009-11-19 17:45:21 +01:00
|
|
|
target_phys_addr_t smp_priv_base;
|
2008-04-14 22:27:51 +02:00
|
|
|
int nb_cpus;
|
|
|
|
int board_id;
|
2011-06-23 17:53:48 +02:00
|
|
|
int (*atag_board)(const struct arm_boot_info *info, void *p);
|
2009-11-11 19:07:53 +01:00
|
|
|
/* Used internally by arm_boot.c */
|
|
|
|
int is_linux;
|
|
|
|
target_phys_addr_t initrd_size;
|
|
|
|
target_phys_addr_t entry;
|
2008-04-14 22:27:51 +02:00
|
|
|
};
|
|
|
|
void arm_load_kernel(CPUState *env, struct arm_boot_info *info);
|
2007-11-17 18:14:51 +01:00
|
|
|
|
2008-08-30 11:51:20 +02:00
|
|
|
/* Multiplication factor to convert from system clock ticks to qemu timer
|
|
|
|
ticks. */
|
2008-09-17 21:04:14 +02:00
|
|
|
extern int system_clock_scale;
|
2007-11-17 18:14:51 +01:00
|
|
|
|
|
|
|
#endif /* !ARM_MISC_H */
|