4 #include "target/ppc/cpu-qom.h"
6 void ppc_set_irq(PowerPCCPU
*cpu
, int n_IRQ
, int level
);
7 PowerPCCPU
*ppc_get_vcpu_by_pir(int pir
);
9 /* PowerPC hardware exceptions management helpers */
10 typedef void (*clk_setup_cb
)(void *opaque
, uint32_t freq
);
11 typedef struct clk_setup_t clk_setup_t
;
16 static inline void clk_setup (clk_setup_t
*clk
, uint32_t freq
)
19 (*clk
->cb
)(clk
->opaque
, freq
);
23 /* Time base management */
24 int64_t tb_offset
; /* Compensation */
25 int64_t atb_offset
; /* Compensation */
26 uint32_t tb_freq
; /* TB frequency */
27 /* Decrementer management */
28 uint64_t decr_next
; /* Tick for next decr interrupt */
29 uint32_t decr_freq
; /* decrementer frequency */
30 QEMUTimer
*decr_timer
;
31 /* Hypervisor decrementer management */
32 uint64_t hdecr_next
; /* Tick for next hdecr interrupt */
33 QEMUTimer
*hdecr_timer
;
40 /* PPC Timers flags */
41 #define PPC_TIMER_BOOKE (1 << 0) /* Enable Booke support */
42 #define PPC_TIMER_E500 (1 << 1) /* Enable e500 support */
43 #define PPC_DECR_UNDERFLOW_TRIGGERED (1 << 2) /* Decr interrupt triggered when
44 * the most significant bit
45 * changes from 0 to 1.
47 #define PPC_DECR_ZERO_TRIGGERED (1 << 3) /* Decr interrupt triggered when
48 * the decrementer reaches zero.
50 #define PPC_DECR_UNDERFLOW_LEVEL (1 << 4) /* Decr interrupt active when
51 * the most significant bit is 1.
54 uint64_t cpu_ppc_get_tb(ppc_tb_t
*tb_env
, uint64_t vmclk
, int64_t tb_offset
);
55 clk_setup_cb
cpu_ppc_tb_init (CPUPPCState
*env
, uint32_t freq
);
56 /* Embedded PowerPC DCR management */
57 typedef uint32_t (*dcr_read_cb
)(void *opaque
, int dcrn
);
58 typedef void (*dcr_write_cb
)(void *opaque
, int dcrn
, uint32_t val
);
59 int ppc_dcr_init (CPUPPCState
*env
, int (*dcr_read_error
)(int dcrn
),
60 int (*dcr_write_error
)(int dcrn
));
61 int ppc_dcr_register (CPUPPCState
*env
, int dcrn
, void *opaque
,
62 dcr_read_cb drc_read
, dcr_write_cb dcr_write
);
63 clk_setup_cb
ppc_40x_timers_init (CPUPPCState
*env
, uint32_t freq
,
64 unsigned int decr_excp
);
66 /* Embedded PowerPC reset */
67 void ppc40x_core_reset(PowerPCCPU
*cpu
);
68 void ppc40x_chip_reset(PowerPCCPU
*cpu
);
69 void ppc40x_system_reset(PowerPCCPU
*cpu
);
70 void PPC_debug_write (void *opaque
, uint32_t addr
, uint32_t val
);
72 #if defined(CONFIG_USER_ONLY)
73 static inline void ppc40x_irq_init(PowerPCCPU
*cpu
) {}
74 static inline void ppc6xx_irq_init(PowerPCCPU
*cpu
) {}
75 static inline void ppc970_irq_init(PowerPCCPU
*cpu
) {}
76 static inline void ppcPOWER7_irq_init(PowerPCCPU
*cpu
) {}
77 static inline void ppcPOWER9_irq_init(PowerPCCPU
*cpu
) {}
78 static inline void ppce500_irq_init(PowerPCCPU
*cpu
) {}
80 void ppc40x_irq_init(PowerPCCPU
*cpu
);
81 void ppce500_irq_init(PowerPCCPU
*cpu
);
82 void ppc6xx_irq_init(PowerPCCPU
*cpu
);
83 void ppc970_irq_init(PowerPCCPU
*cpu
);
84 void ppcPOWER7_irq_init(PowerPCCPU
*cpu
);
85 void ppcPOWER9_irq_init(PowerPCCPU
*cpu
);
88 /* PPC machines for OpenBIOS */
96 #define FW_CFG_PPC_WIDTH (FW_CFG_ARCH_LOCAL + 0x00)
97 #define FW_CFG_PPC_HEIGHT (FW_CFG_ARCH_LOCAL + 0x01)
98 #define FW_CFG_PPC_DEPTH (FW_CFG_ARCH_LOCAL + 0x02)
99 #define FW_CFG_PPC_TBFREQ (FW_CFG_ARCH_LOCAL + 0x03)
100 #define FW_CFG_PPC_CLOCKFREQ (FW_CFG_ARCH_LOCAL + 0x04)
101 #define FW_CFG_PPC_IS_KVM (FW_CFG_ARCH_LOCAL + 0x05)
102 #define FW_CFG_PPC_KVM_HC (FW_CFG_ARCH_LOCAL + 0x06)
103 #define FW_CFG_PPC_KVM_PID (FW_CFG_ARCH_LOCAL + 0x07)
104 #define FW_CFG_PPC_NVRAM_ADDR (FW_CFG_ARCH_LOCAL + 0x08)
105 #define FW_CFG_PPC_BUSFREQ (FW_CFG_ARCH_LOCAL + 0x09)
106 #define FW_CFG_PPC_NVRAM_FLAT (FW_CFG_ARCH_LOCAL + 0x0a)
107 #define FW_CFG_PPC_VIACONFIG (FW_CFG_ARCH_LOCAL + 0x0b)
109 #define PPC_SERIAL_MM_BAUDBASE 399193
112 void ppc_booke_timers_init(PowerPCCPU
*cpu
, uint32_t freq
, uint32_t flags
);