1 2 #define IVEC_MAX 0x40 3 4 SPARCCPU *sparc64_cpu_devinit(const char *cpu_type, uint64_t prom_addr); 5 6 void sparc64_cpu_set_ivec_irq(void *opaque, int irq, int level); 7