1 void ppc_set_irq (CPUState
*env
, int n_IRQ
, int level
);
3 /* PowerPC hardware exceptions management helpers */
4 typedef void (*clk_setup_cb
)(void *opaque
, uint32_t freq
);
5 typedef struct clk_setup_t clk_setup_t
;
10 static inline void clk_setup (clk_setup_t
*clk
, uint32_t freq
)
13 (*clk
->cb
)(clk
->opaque
, freq
);
17 /* Time base management */
18 int64_t tb_offset
; /* Compensation */
19 int64_t atb_offset
; /* Compensation */
20 uint32_t tb_freq
; /* TB frequency */
21 /* Decrementer management */
22 uint64_t decr_next
; /* Tick for next decr interrupt */
23 uint32_t decr_freq
; /* decrementer frequency */
24 struct QEMUTimer
*decr_timer
;
25 /* Hypervisor decrementer management */
26 uint64_t hdecr_next
; /* Tick for next hdecr interrupt */
27 struct QEMUTimer
*hdecr_timer
;
34 /* PPC Timers flags */
35 #define PPC_TIMER_BOOKE (1 << 0) /* Enable Booke support */
36 #define PPC_TIMER_E500 (1 << 1) /* Enable e500 support */
37 #define PPC_DECR_UNDERFLOW_TRIGGERED (1 << 2) /* Decr interrupt triggered when
38 * the most significant bit
39 * changes from 0 to 1.
41 #define PPC_DECR_ZERO_TRIGGERED (1 << 3) /* Decr interrupt triggered when
42 * the decrementer reaches zero.
45 uint64_t cpu_ppc_get_tb(ppc_tb_t
*tb_env
, uint64_t vmclk
, int64_t tb_offset
);
46 clk_setup_cb
cpu_ppc_tb_init (CPUState
*env
, uint32_t freq
);
47 /* Embedded PowerPC DCR management */
48 typedef uint32_t (*dcr_read_cb
)(void *opaque
, int dcrn
);
49 typedef void (*dcr_write_cb
)(void *opaque
, int dcrn
, uint32_t val
);
50 int ppc_dcr_init (CPUState
*env
, int (*dcr_read_error
)(int dcrn
),
51 int (*dcr_write_error
)(int dcrn
));
52 int ppc_dcr_register (CPUState
*env
, int dcrn
, void *opaque
,
53 dcr_read_cb drc_read
, dcr_write_cb dcr_write
);
54 clk_setup_cb
ppc_40x_timers_init (CPUState
*env
, uint32_t freq
,
55 unsigned int decr_excp
);
57 /* Embedded PowerPC reset */
58 void ppc40x_core_reset (CPUState
*env
);
59 void ppc40x_chip_reset (CPUState
*env
);
60 void ppc40x_system_reset (CPUState
*env
);
61 void PREP_debug_write (void *opaque
, uint32_t addr
, uint32_t val
);
63 extern CPUWriteMemoryFunc
* const PPC_io_write
[];
64 extern CPUReadMemoryFunc
* const PPC_io_read
[];
65 void PPC_debug_write (void *opaque
, uint32_t addr
, uint32_t val
);
67 void ppc40x_irq_init (CPUState
*env
);
68 void ppce500_irq_init (CPUState
*env
);
69 void ppc6xx_irq_init (CPUState
*env
);
70 void ppc970_irq_init (CPUState
*env
);
71 void ppcPOWER7_irq_init (CPUState
*env
);
73 /* PPC machines for OpenBIOS */
81 #define FW_CFG_PPC_WIDTH (FW_CFG_ARCH_LOCAL + 0x00)
82 #define FW_CFG_PPC_HEIGHT (FW_CFG_ARCH_LOCAL + 0x01)
83 #define FW_CFG_PPC_DEPTH (FW_CFG_ARCH_LOCAL + 0x02)
84 #define FW_CFG_PPC_TBFREQ (FW_CFG_ARCH_LOCAL + 0x03)
85 #define FW_CFG_PPC_IS_KVM (FW_CFG_ARCH_LOCAL + 0x05)
86 #define FW_CFG_PPC_KVM_HC (FW_CFG_ARCH_LOCAL + 0x06)
87 #define FW_CFG_PPC_KVM_PID (FW_CFG_ARCH_LOCAL + 0x07)
89 #define PPC_SERIAL_MM_BAUDBASE 399193
92 void ppc_booke_timers_init(CPUState
*env
, uint32_t freq
, uint32_t flags
);