1 2 SPARCCPU *sparc64_cpu_devinit(const char *cpu_model, 3 const char *dflt_cpu_model, uint64_t prom_addr); 4 5 void sparc64_cpu_set_ivec_irq(void *opaque, int irq, int level); 6