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