4 #include "target/ppc/cpu.h"
6 void ppc_set_irq(PowerPCCPU
*cpu
, int n_IRQ
, int level
);
7 PowerPCCPU
*ppc_get_vcpu_by_pir(int pir
);
8 int ppc_cpu_pir(PowerPCCPU
*cpu
);
9 int ppc_cpu_tir(PowerPCCPU
*cpu
);
11 /* PowerPC hardware exceptions management helpers */
12 typedef void (*clk_setup_cb
)(void *opaque
, uint32_t freq
);
13 typedef struct clk_setup_t clk_setup_t
;
18 static inline void clk_setup (clk_setup_t
*clk
, uint32_t freq
)
21 (*clk
->cb
)(clk
->opaque
, freq
);
25 /* Time base management */
26 int64_t tb_offset
; /* Compensation */
27 int64_t atb_offset
; /* Compensation */
29 uint32_t tb_freq
; /* TB frequency */
30 /* Decrementer management */
31 uint64_t decr_next
; /* Tick for next decr interrupt */
32 uint32_t decr_freq
; /* decrementer frequency */
33 QEMUTimer
*decr_timer
;
34 /* Hypervisor decrementer management */
35 uint64_t hdecr_next
; /* Tick for next hdecr interrupt */
36 QEMUTimer
*hdecr_timer
;
42 /* PPC Timers flags */
43 #define PPC_TIMER_BOOKE (1 << 0) /* Enable Booke support */
44 #define PPC_TIMER_E500 (1 << 1) /* Enable e500 support */
45 #define PPC_DECR_UNDERFLOW_TRIGGERED (1 << 2) /* Decr interrupt triggered when
46 * the most significant bit
47 * changes from 0 to 1.
49 #define PPC_DECR_ZERO_TRIGGERED (1 << 3) /* Decr interrupt triggered when
50 * the decrementer reaches zero.
52 #define PPC_DECR_UNDERFLOW_LEVEL (1 << 4) /* Decr interrupt active when
53 * the most significant bit is 1.
56 uint64_t cpu_ppc_get_tb(ppc_tb_t
*tb_env
, uint64_t vmclk
, int64_t tb_offset
);
57 void cpu_ppc_tb_init(CPUPPCState
*env
, uint32_t freq
);
58 void cpu_ppc_tb_reset(CPUPPCState
*env
);
59 void cpu_ppc_tb_free(CPUPPCState
*env
);
60 void cpu_ppc_hdecr_init(CPUPPCState
*env
);
61 void cpu_ppc_hdecr_exit(CPUPPCState
*env
);
63 /* Embedded PowerPC DCR management */
64 typedef uint32_t (*dcr_read_cb
)(void *opaque
, int dcrn
);
65 typedef void (*dcr_write_cb
)(void *opaque
, int dcrn
, uint32_t val
);
66 int ppc_dcr_init (CPUPPCState
*env
, int (*dcr_read_error
)(int dcrn
),
67 int (*dcr_write_error
)(int dcrn
));
68 int ppc_dcr_register (CPUPPCState
*env
, int dcrn
, void *opaque
,
69 dcr_read_cb drc_read
, dcr_write_cb dcr_write
);
70 clk_setup_cb
ppc_40x_timers_init (CPUPPCState
*env
, uint32_t freq
,
71 unsigned int decr_excp
);
73 /* Embedded PowerPC reset */
74 void ppc40x_core_reset(PowerPCCPU
*cpu
);
75 void ppc40x_chip_reset(PowerPCCPU
*cpu
);
76 void ppc40x_system_reset(PowerPCCPU
*cpu
);
78 #if defined(CONFIG_USER_ONLY)
79 static inline void ppc40x_irq_init(PowerPCCPU
*cpu
) {}
80 static inline void ppc6xx_irq_init(PowerPCCPU
*cpu
) {}
81 static inline void ppc970_irq_init(PowerPCCPU
*cpu
) {}
82 static inline void ppcPOWER7_irq_init(PowerPCCPU
*cpu
) {}
83 static inline void ppcPOWER9_irq_init(PowerPCCPU
*cpu
) {}
84 static inline void ppce500_irq_init(PowerPCCPU
*cpu
) {}
85 static inline void ppc_irq_reset(PowerPCCPU
*cpu
) {}
87 void ppc40x_irq_init(PowerPCCPU
*cpu
);
88 void ppce500_irq_init(PowerPCCPU
*cpu
);
89 void ppc6xx_irq_init(PowerPCCPU
*cpu
);
90 void ppc970_irq_init(PowerPCCPU
*cpu
);
91 void ppcPOWER7_irq_init(PowerPCCPU
*cpu
);
92 void ppcPOWER9_irq_init(PowerPCCPU
*cpu
);
93 void ppc_irq_reset(PowerPCCPU
*cpu
);
96 /* PPC machines for OpenBIOS */
104 #define FW_CFG_PPC_WIDTH (FW_CFG_ARCH_LOCAL + 0x00)
105 #define FW_CFG_PPC_HEIGHT (FW_CFG_ARCH_LOCAL + 0x01)
106 #define FW_CFG_PPC_DEPTH (FW_CFG_ARCH_LOCAL + 0x02)
107 #define FW_CFG_PPC_TBFREQ (FW_CFG_ARCH_LOCAL + 0x03)
108 #define FW_CFG_PPC_CLOCKFREQ (FW_CFG_ARCH_LOCAL + 0x04)
109 #define FW_CFG_PPC_IS_KVM (FW_CFG_ARCH_LOCAL + 0x05)
110 #define FW_CFG_PPC_KVM_HC (FW_CFG_ARCH_LOCAL + 0x06)
111 #define FW_CFG_PPC_KVM_PID (FW_CFG_ARCH_LOCAL + 0x07)
112 #define FW_CFG_PPC_NVRAM_ADDR (FW_CFG_ARCH_LOCAL + 0x08)
113 #define FW_CFG_PPC_BUSFREQ (FW_CFG_ARCH_LOCAL + 0x09)
114 #define FW_CFG_PPC_NVRAM_FLAT (FW_CFG_ARCH_LOCAL + 0x0a)
115 #define FW_CFG_PPC_VIACONFIG (FW_CFG_ARCH_LOCAL + 0x0b)
117 #define PPC_SERIAL_MM_BAUDBASE 399193
120 void ppc_booke_timers_init(PowerPCCPU
*cpu
, uint32_t freq
, uint32_t flags
);