Revision 2f9859fb hw/ppc4xx.h
b/hw/ppc4xx.h | ||
---|---|---|
28 | 28 |
#include "pci.h" |
29 | 29 |
|
30 | 30 |
/* PowerPC 4xx core initialization */ |
31 |
CPUPPCState *ppc4xx_init (const char *cpu_model,
|
|
32 |
clk_setup_t *cpu_clk, clk_setup_t *tb_clk, |
|
33 |
uint32_t sysclk); |
|
31 |
PowerPCCPU *ppc4xx_init(const char *cpu_model,
|
|
32 |
clk_setup_t *cpu_clk, clk_setup_t *tb_clk,
|
|
33 |
uint32_t sysclk);
|
|
34 | 34 |
|
35 | 35 |
/* PowerPC 4xx universal interrupt controller */ |
36 | 36 |
enum { |
Also available in: Unified diff