21
21
const char *kernel_filename, const char *cpu_model);
25
void arm_load_kernel(CPUState *env, int ram_size, const char *kernel_filename,
31
41
qemu_irq *armv7m_nvic_init(CPUState *env);
34
44
void stellaris_enet_init(NICInfo *nd, uint32_t base, qemu_irq irq);