42 |
/* Initialize a PowerPC processor */ |
/* Initialize a PowerPC processor */ |
43 |
int ppc32_init(cpu_ppc_t *cpu) |
int ppc32_init(cpu_ppc_t *cpu) |
44 |
{ |
{ |
45 |
|
/* Initialize JIT operations */ |
46 |
|
jit_op_init_cpu(cpu->gen); |
47 |
|
|
48 |
/* Initialize idle timer */ |
/* Initialize idle timer */ |
49 |
cpu->gen->idle_max = 1500; |
cpu->gen->idle_max = 1500; |
50 |
cpu->gen->idle_sleep_time = 30000; |
cpu->gen->idle_sleep_time = 30000; |
70 |
cpu->gen->set_idle_pc = (void *)ppc32_set_idle_pc; |
cpu->gen->set_idle_pc = (void *)ppc32_set_idle_pc; |
71 |
cpu->gen->get_idling_pc = (void *)ppc32_get_idling_pc; |
cpu->gen->get_idling_pc = (void *)ppc32_get_idling_pc; |
72 |
|
|
73 |
|
/* zzz */ |
74 |
|
memset(cpu->vtlb,0xFF,sizeof(cpu->vtlb)); |
75 |
|
|
76 |
/* Set the startup parameters */ |
/* Set the startup parameters */ |
77 |
ppc32_reset(cpu); |
ppc32_reset(cpu); |
78 |
return(0); |
return(0); |