const char *kernel_filename;
const char *kernel_cmdline;
const char *initrd_filename;
- target_phys_addr_t loader_start;
- target_phys_addr_t smp_loader_start;
+ a_target_phys_addr loader_start;
+ a_target_phys_addr smp_loader_start;
int nb_cpus;
int board_id;
int (*atag_board)(struct arm_boot_info *info, void *p);
};
void arm_load_kernel(CPUState *env, struct arm_boot_info *info);
-/* armv7m_nvic.c */
-
/* Multiplication factor to convert from system clock ticks to qemu timer
ticks. */
extern int system_clock_scale;
-qemu_irq *armv7m_nvic_init(CPUState *env);
#endif /* !ARM_MISC_H */