Statistics
| Branch: | Revision:

root / hw / xics.c @ ff9d2afa

History | View | Annotate | Download (14.8 kB)

1 b5cec4c5 David Gibson
/*
2 b5cec4c5 David Gibson
 * QEMU PowerPC pSeries Logical Partition (aka sPAPR) hardware System Emulator
3 b5cec4c5 David Gibson
 *
4 b5cec4c5 David Gibson
 * PAPR Virtualized Interrupt System, aka ICS/ICP aka xics
5 b5cec4c5 David Gibson
 *
6 b5cec4c5 David Gibson
 * Copyright (c) 2010,2011 David Gibson, IBM Corporation.
7 b5cec4c5 David Gibson
 *
8 b5cec4c5 David Gibson
 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 b5cec4c5 David Gibson
 * of this software and associated documentation files (the "Software"), to deal
10 b5cec4c5 David Gibson
 * in the Software without restriction, including without limitation the rights
11 b5cec4c5 David Gibson
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 b5cec4c5 David Gibson
 * copies of the Software, and to permit persons to whom the Software is
13 b5cec4c5 David Gibson
 * furnished to do so, subject to the following conditions:
14 b5cec4c5 David Gibson
 *
15 b5cec4c5 David Gibson
 * The above copyright notice and this permission notice shall be included in
16 b5cec4c5 David Gibson
 * all copies or substantial portions of the Software.
17 b5cec4c5 David Gibson
 *
18 b5cec4c5 David Gibson
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 b5cec4c5 David Gibson
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 b5cec4c5 David Gibson
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 b5cec4c5 David Gibson
 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 b5cec4c5 David Gibson
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 b5cec4c5 David Gibson
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 b5cec4c5 David Gibson
 * THE SOFTWARE.
25 b5cec4c5 David Gibson
 *
26 b5cec4c5 David Gibson
 */
27 b5cec4c5 David Gibson
28 b5cec4c5 David Gibson
#include "hw.h"
29 b5cec4c5 David Gibson
#include "hw/spapr.h"
30 b5cec4c5 David Gibson
#include "hw/xics.h"
31 b5cec4c5 David Gibson
32 b5cec4c5 David Gibson
/*
33 b5cec4c5 David Gibson
 * ICP: Presentation layer
34 b5cec4c5 David Gibson
 */
35 b5cec4c5 David Gibson
36 b5cec4c5 David Gibson
struct icp_server_state {
37 b5cec4c5 David Gibson
    uint32_t xirr;
38 b5cec4c5 David Gibson
    uint8_t pending_priority;
39 b5cec4c5 David Gibson
    uint8_t mfrr;
40 b5cec4c5 David Gibson
    qemu_irq output;
41 b5cec4c5 David Gibson
};
42 b5cec4c5 David Gibson
43 b5cec4c5 David Gibson
#define XISR_MASK  0x00ffffff
44 b5cec4c5 David Gibson
#define CPPR_MASK  0xff000000
45 b5cec4c5 David Gibson
46 b5cec4c5 David Gibson
#define XISR(ss)   (((ss)->xirr) & XISR_MASK)
47 b5cec4c5 David Gibson
#define CPPR(ss)   (((ss)->xirr) >> 24)
48 b5cec4c5 David Gibson
49 b5cec4c5 David Gibson
struct ics_state;
50 b5cec4c5 David Gibson
51 b5cec4c5 David Gibson
struct icp_state {
52 b5cec4c5 David Gibson
    long nr_servers;
53 b5cec4c5 David Gibson
    struct icp_server_state *ss;
54 b5cec4c5 David Gibson
    struct ics_state *ics;
55 b5cec4c5 David Gibson
};
56 b5cec4c5 David Gibson
57 b5cec4c5 David Gibson
static void ics_reject(struct ics_state *ics, int nr);
58 b5cec4c5 David Gibson
static void ics_resend(struct ics_state *ics);
59 b5cec4c5 David Gibson
static void ics_eoi(struct ics_state *ics, int nr);
60 b5cec4c5 David Gibson
61 b5cec4c5 David Gibson
static void icp_check_ipi(struct icp_state *icp, int server)
62 b5cec4c5 David Gibson
{
63 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + server;
64 b5cec4c5 David Gibson
65 b5cec4c5 David Gibson
    if (XISR(ss) && (ss->pending_priority <= ss->mfrr)) {
66 b5cec4c5 David Gibson
        return;
67 b5cec4c5 David Gibson
    }
68 b5cec4c5 David Gibson
69 b5cec4c5 David Gibson
    if (XISR(ss)) {
70 b5cec4c5 David Gibson
        ics_reject(icp->ics, XISR(ss));
71 b5cec4c5 David Gibson
    }
72 b5cec4c5 David Gibson
73 b5cec4c5 David Gibson
    ss->xirr = (ss->xirr & ~XISR_MASK) | XICS_IPI;
74 b5cec4c5 David Gibson
    ss->pending_priority = ss->mfrr;
75 b5cec4c5 David Gibson
    qemu_irq_raise(ss->output);
76 b5cec4c5 David Gibson
}
77 b5cec4c5 David Gibson
78 b5cec4c5 David Gibson
static void icp_resend(struct icp_state *icp, int server)
79 b5cec4c5 David Gibson
{
80 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + server;
81 b5cec4c5 David Gibson
82 b5cec4c5 David Gibson
    if (ss->mfrr < CPPR(ss)) {
83 b5cec4c5 David Gibson
        icp_check_ipi(icp, server);
84 b5cec4c5 David Gibson
    }
85 b5cec4c5 David Gibson
    ics_resend(icp->ics);
86 b5cec4c5 David Gibson
}
87 b5cec4c5 David Gibson
88 b5cec4c5 David Gibson
static void icp_set_cppr(struct icp_state *icp, int server, uint8_t cppr)
89 b5cec4c5 David Gibson
{
90 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + server;
91 b5cec4c5 David Gibson
    uint8_t old_cppr;
92 b5cec4c5 David Gibson
    uint32_t old_xisr;
93 b5cec4c5 David Gibson
94 b5cec4c5 David Gibson
    old_cppr = CPPR(ss);
95 b5cec4c5 David Gibson
    ss->xirr = (ss->xirr & ~CPPR_MASK) | (cppr << 24);
96 b5cec4c5 David Gibson
97 b5cec4c5 David Gibson
    if (cppr < old_cppr) {
98 b5cec4c5 David Gibson
        if (XISR(ss) && (cppr <= ss->pending_priority)) {
99 b5cec4c5 David Gibson
            old_xisr = XISR(ss);
100 b5cec4c5 David Gibson
            ss->xirr &= ~XISR_MASK; /* Clear XISR */
101 b5cec4c5 David Gibson
            qemu_irq_lower(ss->output);
102 b5cec4c5 David Gibson
            ics_reject(icp->ics, old_xisr);
103 b5cec4c5 David Gibson
        }
104 b5cec4c5 David Gibson
    } else {
105 b5cec4c5 David Gibson
        if (!XISR(ss)) {
106 b5cec4c5 David Gibson
            icp_resend(icp, server);
107 b5cec4c5 David Gibson
        }
108 b5cec4c5 David Gibson
    }
109 b5cec4c5 David Gibson
}
110 b5cec4c5 David Gibson
111 b5cec4c5 David Gibson
static void icp_set_mfrr(struct icp_state *icp, int nr, uint8_t mfrr)
112 b5cec4c5 David Gibson
{
113 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + nr;
114 b5cec4c5 David Gibson
115 b5cec4c5 David Gibson
    ss->mfrr = mfrr;
116 b5cec4c5 David Gibson
    if (mfrr < CPPR(ss)) {
117 b5cec4c5 David Gibson
        icp_check_ipi(icp, nr);
118 b5cec4c5 David Gibson
    }
119 b5cec4c5 David Gibson
}
120 b5cec4c5 David Gibson
121 b5cec4c5 David Gibson
static uint32_t icp_accept(struct icp_server_state *ss)
122 b5cec4c5 David Gibson
{
123 b5cec4c5 David Gibson
    uint32_t xirr;
124 b5cec4c5 David Gibson
125 b5cec4c5 David Gibson
    qemu_irq_lower(ss->output);
126 b5cec4c5 David Gibson
    xirr = ss->xirr;
127 b5cec4c5 David Gibson
    ss->xirr = ss->pending_priority << 24;
128 b5cec4c5 David Gibson
    return xirr;
129 b5cec4c5 David Gibson
}
130 b5cec4c5 David Gibson
131 b5cec4c5 David Gibson
static void icp_eoi(struct icp_state *icp, int server, uint32_t xirr)
132 b5cec4c5 David Gibson
{
133 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + server;
134 b5cec4c5 David Gibson
135 b5cec4c5 David Gibson
    /* Send EOI -> ICS */
136 b5cec4c5 David Gibson
    ss->xirr = (ss->xirr & ~CPPR_MASK) | (xirr & CPPR_MASK);
137 d07fee7e David Gibson
    ics_eoi(icp->ics, xirr & XISR_MASK);
138 b5cec4c5 David Gibson
    if (!XISR(ss)) {
139 b5cec4c5 David Gibson
        icp_resend(icp, server);
140 b5cec4c5 David Gibson
    }
141 b5cec4c5 David Gibson
}
142 b5cec4c5 David Gibson
143 b5cec4c5 David Gibson
static void icp_irq(struct icp_state *icp, int server, int nr, uint8_t priority)
144 b5cec4c5 David Gibson
{
145 b5cec4c5 David Gibson
    struct icp_server_state *ss = icp->ss + server;
146 b5cec4c5 David Gibson
147 b5cec4c5 David Gibson
    if ((priority >= CPPR(ss))
148 b5cec4c5 David Gibson
        || (XISR(ss) && (ss->pending_priority <= priority))) {
149 b5cec4c5 David Gibson
        ics_reject(icp->ics, nr);
150 b5cec4c5 David Gibson
    } else {
151 b5cec4c5 David Gibson
        if (XISR(ss)) {
152 b5cec4c5 David Gibson
            ics_reject(icp->ics, XISR(ss));
153 b5cec4c5 David Gibson
        }
154 b5cec4c5 David Gibson
        ss->xirr = (ss->xirr & ~XISR_MASK) | (nr & XISR_MASK);
155 b5cec4c5 David Gibson
        ss->pending_priority = priority;
156 b5cec4c5 David Gibson
        qemu_irq_raise(ss->output);
157 b5cec4c5 David Gibson
    }
158 b5cec4c5 David Gibson
}
159 b5cec4c5 David Gibson
160 b5cec4c5 David Gibson
/*
161 b5cec4c5 David Gibson
 * ICS: Source layer
162 b5cec4c5 David Gibson
 */
163 b5cec4c5 David Gibson
164 b5cec4c5 David Gibson
struct ics_irq_state {
165 b5cec4c5 David Gibson
    int server;
166 b5cec4c5 David Gibson
    uint8_t priority;
167 b5cec4c5 David Gibson
    uint8_t saved_priority;
168 98ca8c02 David Gibson
#define XICS_STATUS_ASSERTED           0x1
169 98ca8c02 David Gibson
#define XICS_STATUS_SENT               0x2
170 98ca8c02 David Gibson
#define XICS_STATUS_REJECTED           0x4
171 98ca8c02 David Gibson
#define XICS_STATUS_MASKED_PENDING     0x8
172 98ca8c02 David Gibson
    uint8_t status;
173 ff9d2afa David Gibson
    bool lsi;
174 b5cec4c5 David Gibson
};
175 b5cec4c5 David Gibson
176 b5cec4c5 David Gibson
struct ics_state {
177 b5cec4c5 David Gibson
    int nr_irqs;
178 b5cec4c5 David Gibson
    int offset;
179 b5cec4c5 David Gibson
    qemu_irq *qirqs;
180 b5cec4c5 David Gibson
    struct ics_irq_state *irqs;
181 b5cec4c5 David Gibson
    struct icp_state *icp;
182 b5cec4c5 David Gibson
};
183 b5cec4c5 David Gibson
184 b5cec4c5 David Gibson
static int ics_valid_irq(struct ics_state *ics, uint32_t nr)
185 b5cec4c5 David Gibson
{
186 b5cec4c5 David Gibson
    return (nr >= ics->offset)
187 b5cec4c5 David Gibson
        && (nr < (ics->offset + ics->nr_irqs));
188 b5cec4c5 David Gibson
}
189 b5cec4c5 David Gibson
190 d07fee7e David Gibson
static void resend_msi(struct ics_state *ics, int srcno)
191 d07fee7e David Gibson
{
192 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
193 d07fee7e David Gibson
194 d07fee7e David Gibson
    /* FIXME: filter by server#? */
195 98ca8c02 David Gibson
    if (irq->status & XICS_STATUS_REJECTED) {
196 98ca8c02 David Gibson
        irq->status &= ~XICS_STATUS_REJECTED;
197 d07fee7e David Gibson
        if (irq->priority != 0xff) {
198 d07fee7e David Gibson
            icp_irq(ics->icp, irq->server, srcno + ics->offset,
199 d07fee7e David Gibson
                    irq->priority);
200 d07fee7e David Gibson
        }
201 d07fee7e David Gibson
    }
202 d07fee7e David Gibson
}
203 d07fee7e David Gibson
204 d07fee7e David Gibson
static void resend_lsi(struct ics_state *ics, int srcno)
205 d07fee7e David Gibson
{
206 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
207 d07fee7e David Gibson
208 98ca8c02 David Gibson
    if ((irq->priority != 0xff)
209 98ca8c02 David Gibson
        && (irq->status & XICS_STATUS_ASSERTED)
210 98ca8c02 David Gibson
        && !(irq->status & XICS_STATUS_SENT)) {
211 98ca8c02 David Gibson
        irq->status |= XICS_STATUS_SENT;
212 d07fee7e David Gibson
        icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority);
213 d07fee7e David Gibson
    }
214 d07fee7e David Gibson
}
215 d07fee7e David Gibson
216 d07fee7e David Gibson
static void set_irq_msi(struct ics_state *ics, int srcno, int val)
217 b5cec4c5 David Gibson
{
218 cc67b9c8 David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
219 b5cec4c5 David Gibson
220 b5cec4c5 David Gibson
    if (val) {
221 b5cec4c5 David Gibson
        if (irq->priority == 0xff) {
222 98ca8c02 David Gibson
            irq->status |= XICS_STATUS_MASKED_PENDING;
223 b5cec4c5 David Gibson
            /* masked pending */ ;
224 b5cec4c5 David Gibson
        } else  {
225 cc67b9c8 David Gibson
            icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority);
226 b5cec4c5 David Gibson
        }
227 b5cec4c5 David Gibson
    }
228 b5cec4c5 David Gibson
}
229 b5cec4c5 David Gibson
230 d07fee7e David Gibson
static void set_irq_lsi(struct ics_state *ics, int srcno, int val)
231 b5cec4c5 David Gibson
{
232 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
233 b5cec4c5 David Gibson
234 98ca8c02 David Gibson
    if (val) {
235 98ca8c02 David Gibson
        irq->status |= XICS_STATUS_ASSERTED;
236 98ca8c02 David Gibson
    } else {
237 98ca8c02 David Gibson
        irq->status &= ~XICS_STATUS_ASSERTED;
238 98ca8c02 David Gibson
    }
239 d07fee7e David Gibson
    resend_lsi(ics, srcno);
240 b5cec4c5 David Gibson
}
241 b5cec4c5 David Gibson
242 d07fee7e David Gibson
static void ics_set_irq(void *opaque, int srcno, int val)
243 b5cec4c5 David Gibson
{
244 d07fee7e David Gibson
    struct ics_state *ics = (struct ics_state *)opaque;
245 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
246 b5cec4c5 David Gibson
247 ff9d2afa David Gibson
    if (irq->lsi) {
248 d07fee7e David Gibson
        set_irq_lsi(ics, srcno, val);
249 d07fee7e David Gibson
    } else {
250 d07fee7e David Gibson
        set_irq_msi(ics, srcno, val);
251 d07fee7e David Gibson
    }
252 d07fee7e David Gibson
}
253 b5cec4c5 David Gibson
254 d07fee7e David Gibson
static void write_xive_msi(struct ics_state *ics, int srcno)
255 d07fee7e David Gibson
{
256 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
257 d07fee7e David Gibson
258 98ca8c02 David Gibson
    if (!(irq->status & XICS_STATUS_MASKED_PENDING)
259 98ca8c02 David Gibson
        || (irq->priority == 0xff)) {
260 d07fee7e David Gibson
        return;
261 b5cec4c5 David Gibson
    }
262 d07fee7e David Gibson
263 98ca8c02 David Gibson
    irq->status &= ~XICS_STATUS_MASKED_PENDING;
264 d07fee7e David Gibson
    icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority);
265 b5cec4c5 David Gibson
}
266 b5cec4c5 David Gibson
267 d07fee7e David Gibson
static void write_xive_lsi(struct ics_state *ics, int srcno)
268 b5cec4c5 David Gibson
{
269 d07fee7e David Gibson
    resend_lsi(ics, srcno);
270 d07fee7e David Gibson
}
271 d07fee7e David Gibson
272 d07fee7e David Gibson
static void ics_write_xive(struct ics_state *ics, int nr, int server,
273 d07fee7e David Gibson
                           uint8_t priority)
274 d07fee7e David Gibson
{
275 d07fee7e David Gibson
    int srcno = nr - ics->offset;
276 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
277 b5cec4c5 David Gibson
278 b5cec4c5 David Gibson
    irq->server = server;
279 b5cec4c5 David Gibson
    irq->priority = priority;
280 b5cec4c5 David Gibson
281 ff9d2afa David Gibson
    if (irq->lsi) {
282 d07fee7e David Gibson
        write_xive_lsi(ics, srcno);
283 d07fee7e David Gibson
    } else {
284 d07fee7e David Gibson
        write_xive_msi(ics, srcno);
285 b5cec4c5 David Gibson
    }
286 b5cec4c5 David Gibson
}
287 b5cec4c5 David Gibson
288 b5cec4c5 David Gibson
static void ics_reject(struct ics_state *ics, int nr)
289 b5cec4c5 David Gibson
{
290 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + nr - ics->offset;
291 d07fee7e David Gibson
292 98ca8c02 David Gibson
    irq->status |= XICS_STATUS_REJECTED; /* Irrelevant but harmless for LSI */
293 98ca8c02 David Gibson
    irq->status &= ~XICS_STATUS_SENT; /* Irrelevant but harmless for MSI */
294 b5cec4c5 David Gibson
}
295 b5cec4c5 David Gibson
296 b5cec4c5 David Gibson
static void ics_resend(struct ics_state *ics)
297 b5cec4c5 David Gibson
{
298 d07fee7e David Gibson
    int i;
299 d07fee7e David Gibson
300 d07fee7e David Gibson
    for (i = 0; i < ics->nr_irqs; i++) {
301 d07fee7e David Gibson
        struct ics_irq_state *irq = ics->irqs + i;
302 d07fee7e David Gibson
303 d07fee7e David Gibson
        /* FIXME: filter by server#? */
304 ff9d2afa David Gibson
        if (irq->lsi) {
305 d07fee7e David Gibson
            resend_lsi(ics, i);
306 d07fee7e David Gibson
        } else {
307 d07fee7e David Gibson
            resend_msi(ics, i);
308 d07fee7e David Gibson
        }
309 d07fee7e David Gibson
    }
310 b5cec4c5 David Gibson
}
311 b5cec4c5 David Gibson
312 b5cec4c5 David Gibson
static void ics_eoi(struct ics_state *ics, int nr)
313 b5cec4c5 David Gibson
{
314 d07fee7e David Gibson
    int srcno = nr - ics->offset;
315 d07fee7e David Gibson
    struct ics_irq_state *irq = ics->irqs + srcno;
316 d07fee7e David Gibson
317 ff9d2afa David Gibson
    if (irq->lsi) {
318 98ca8c02 David Gibson
        irq->status &= ~XICS_STATUS_SENT;
319 d07fee7e David Gibson
    }
320 b5cec4c5 David Gibson
}
321 b5cec4c5 David Gibson
322 b5cec4c5 David Gibson
/*
323 b5cec4c5 David Gibson
 * Exported functions
324 b5cec4c5 David Gibson
 */
325 b5cec4c5 David Gibson
326 a307d594 Alexey Kardashevskiy
qemu_irq xics_get_qirq(struct icp_state *icp, int irq)
327 b5cec4c5 David Gibson
{
328 b5cec4c5 David Gibson
    if ((irq < icp->ics->offset)
329 b5cec4c5 David Gibson
        || (irq >= (icp->ics->offset + icp->ics->nr_irqs))) {
330 b5cec4c5 David Gibson
        return NULL;
331 b5cec4c5 David Gibson
    }
332 b5cec4c5 David Gibson
333 a307d594 Alexey Kardashevskiy
    return icp->ics->qirqs[irq - icp->ics->offset];
334 a307d594 Alexey Kardashevskiy
}
335 a307d594 Alexey Kardashevskiy
336 ff9d2afa David Gibson
void xics_set_irq_type(struct icp_state *icp, int irq, bool lsi)
337 a307d594 Alexey Kardashevskiy
{
338 a307d594 Alexey Kardashevskiy
    assert((irq >= icp->ics->offset)
339 a307d594 Alexey Kardashevskiy
           && (irq < (icp->ics->offset + icp->ics->nr_irqs)));
340 d07fee7e David Gibson
341 ff9d2afa David Gibson
    icp->ics->irqs[irq - icp->ics->offset].lsi = lsi;
342 b5cec4c5 David Gibson
}
343 b5cec4c5 David Gibson
344 e2684c0b Andreas Färber
static target_ulong h_cppr(CPUPPCState *env, sPAPREnvironment *spapr,
345 b5cec4c5 David Gibson
                           target_ulong opcode, target_ulong *args)
346 b5cec4c5 David Gibson
{
347 b5cec4c5 David Gibson
    target_ulong cppr = args[0];
348 b5cec4c5 David Gibson
349 b5cec4c5 David Gibson
    icp_set_cppr(spapr->icp, env->cpu_index, cppr);
350 b5cec4c5 David Gibson
    return H_SUCCESS;
351 b5cec4c5 David Gibson
}
352 b5cec4c5 David Gibson
353 e2684c0b Andreas Färber
static target_ulong h_ipi(CPUPPCState *env, sPAPREnvironment *spapr,
354 b5cec4c5 David Gibson
                          target_ulong opcode, target_ulong *args)
355 b5cec4c5 David Gibson
{
356 b5cec4c5 David Gibson
    target_ulong server = args[0];
357 b5cec4c5 David Gibson
    target_ulong mfrr = args[1];
358 b5cec4c5 David Gibson
359 b5cec4c5 David Gibson
    if (server >= spapr->icp->nr_servers) {
360 b5cec4c5 David Gibson
        return H_PARAMETER;
361 b5cec4c5 David Gibson
    }
362 b5cec4c5 David Gibson
363 b5cec4c5 David Gibson
    icp_set_mfrr(spapr->icp, server, mfrr);
364 b5cec4c5 David Gibson
    return H_SUCCESS;
365 b5cec4c5 David Gibson
366 b5cec4c5 David Gibson
}
367 b5cec4c5 David Gibson
368 e2684c0b Andreas Färber
static target_ulong h_xirr(CPUPPCState *env, sPAPREnvironment *spapr,
369 b5cec4c5 David Gibson
                           target_ulong opcode, target_ulong *args)
370 b5cec4c5 David Gibson
{
371 b5cec4c5 David Gibson
    uint32_t xirr = icp_accept(spapr->icp->ss + env->cpu_index);
372 b5cec4c5 David Gibson
373 b5cec4c5 David Gibson
    args[0] = xirr;
374 b5cec4c5 David Gibson
    return H_SUCCESS;
375 b5cec4c5 David Gibson
}
376 b5cec4c5 David Gibson
377 e2684c0b Andreas Färber
static target_ulong h_eoi(CPUPPCState *env, sPAPREnvironment *spapr,
378 b5cec4c5 David Gibson
                          target_ulong opcode, target_ulong *args)
379 b5cec4c5 David Gibson
{
380 b5cec4c5 David Gibson
    target_ulong xirr = args[0];
381 b5cec4c5 David Gibson
382 b5cec4c5 David Gibson
    icp_eoi(spapr->icp, env->cpu_index, xirr);
383 b5cec4c5 David Gibson
    return H_SUCCESS;
384 b5cec4c5 David Gibson
}
385 b5cec4c5 David Gibson
386 b5cec4c5 David Gibson
static void rtas_set_xive(sPAPREnvironment *spapr, uint32_t token,
387 b5cec4c5 David Gibson
                          uint32_t nargs, target_ulong args,
388 b5cec4c5 David Gibson
                          uint32_t nret, target_ulong rets)
389 b5cec4c5 David Gibson
{
390 b5cec4c5 David Gibson
    struct ics_state *ics = spapr->icp->ics;
391 b5cec4c5 David Gibson
    uint32_t nr, server, priority;
392 b5cec4c5 David Gibson
393 b5cec4c5 David Gibson
    if ((nargs != 3) || (nret != 1)) {
394 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
395 b5cec4c5 David Gibson
        return;
396 b5cec4c5 David Gibson
    }
397 b5cec4c5 David Gibson
398 b5cec4c5 David Gibson
    nr = rtas_ld(args, 0);
399 b5cec4c5 David Gibson
    server = rtas_ld(args, 1);
400 b5cec4c5 David Gibson
    priority = rtas_ld(args, 2);
401 b5cec4c5 David Gibson
402 b5cec4c5 David Gibson
    if (!ics_valid_irq(ics, nr) || (server >= ics->icp->nr_servers)
403 b5cec4c5 David Gibson
        || (priority > 0xff)) {
404 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
405 b5cec4c5 David Gibson
        return;
406 b5cec4c5 David Gibson
    }
407 b5cec4c5 David Gibson
408 d07fee7e David Gibson
    ics_write_xive(ics, nr, server, priority);
409 b5cec4c5 David Gibson
410 b5cec4c5 David Gibson
    rtas_st(rets, 0, 0); /* Success */
411 b5cec4c5 David Gibson
}
412 b5cec4c5 David Gibson
413 b5cec4c5 David Gibson
static void rtas_get_xive(sPAPREnvironment *spapr, uint32_t token,
414 b5cec4c5 David Gibson
                          uint32_t nargs, target_ulong args,
415 b5cec4c5 David Gibson
                          uint32_t nret, target_ulong rets)
416 b5cec4c5 David Gibson
{
417 b5cec4c5 David Gibson
    struct ics_state *ics = spapr->icp->ics;
418 b5cec4c5 David Gibson
    uint32_t nr;
419 b5cec4c5 David Gibson
420 b5cec4c5 David Gibson
    if ((nargs != 1) || (nret != 3)) {
421 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
422 b5cec4c5 David Gibson
        return;
423 b5cec4c5 David Gibson
    }
424 b5cec4c5 David Gibson
425 b5cec4c5 David Gibson
    nr = rtas_ld(args, 0);
426 b5cec4c5 David Gibson
427 b5cec4c5 David Gibson
    if (!ics_valid_irq(ics, nr)) {
428 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
429 b5cec4c5 David Gibson
        return;
430 b5cec4c5 David Gibson
    }
431 b5cec4c5 David Gibson
432 b5cec4c5 David Gibson
    rtas_st(rets, 0, 0); /* Success */
433 b5cec4c5 David Gibson
    rtas_st(rets, 1, ics->irqs[nr - ics->offset].server);
434 b5cec4c5 David Gibson
    rtas_st(rets, 2, ics->irqs[nr - ics->offset].priority);
435 b5cec4c5 David Gibson
}
436 b5cec4c5 David Gibson
437 b5cec4c5 David Gibson
static void rtas_int_off(sPAPREnvironment *spapr, uint32_t token,
438 b5cec4c5 David Gibson
                         uint32_t nargs, target_ulong args,
439 b5cec4c5 David Gibson
                         uint32_t nret, target_ulong rets)
440 b5cec4c5 David Gibson
{
441 b5cec4c5 David Gibson
    struct ics_state *ics = spapr->icp->ics;
442 b5cec4c5 David Gibson
    uint32_t nr;
443 b5cec4c5 David Gibson
444 b5cec4c5 David Gibson
    if ((nargs != 1) || (nret != 1)) {
445 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
446 b5cec4c5 David Gibson
        return;
447 b5cec4c5 David Gibson
    }
448 b5cec4c5 David Gibson
449 b5cec4c5 David Gibson
    nr = rtas_ld(args, 0);
450 b5cec4c5 David Gibson
451 b5cec4c5 David Gibson
    if (!ics_valid_irq(ics, nr)) {
452 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
453 b5cec4c5 David Gibson
        return;
454 b5cec4c5 David Gibson
    }
455 b5cec4c5 David Gibson
456 b5cec4c5 David Gibson
    /* This is a NOP for now, since the described PAPR semantics don't
457 b5cec4c5 David Gibson
     * seem to gel with what Linux does */
458 b5cec4c5 David Gibson
#if 0
459 b5cec4c5 David Gibson
    struct ics_irq_state *irq = xics->irqs + (nr - xics->offset);
460 b5cec4c5 David Gibson

461 b5cec4c5 David Gibson
    irq->saved_priority = irq->priority;
462 cc67b9c8 David Gibson
    ics_write_xive_msi(xics, nr, irq->server, 0xff);
463 b5cec4c5 David Gibson
#endif
464 b5cec4c5 David Gibson
465 b5cec4c5 David Gibson
    rtas_st(rets, 0, 0); /* Success */
466 b5cec4c5 David Gibson
}
467 b5cec4c5 David Gibson
468 b5cec4c5 David Gibson
static void rtas_int_on(sPAPREnvironment *spapr, uint32_t token,
469 b5cec4c5 David Gibson
                        uint32_t nargs, target_ulong args,
470 b5cec4c5 David Gibson
                        uint32_t nret, target_ulong rets)
471 b5cec4c5 David Gibson
{
472 b5cec4c5 David Gibson
    struct ics_state *ics = spapr->icp->ics;
473 b5cec4c5 David Gibson
    uint32_t nr;
474 b5cec4c5 David Gibson
475 b5cec4c5 David Gibson
    if ((nargs != 1) || (nret != 1)) {
476 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
477 b5cec4c5 David Gibson
        return;
478 b5cec4c5 David Gibson
    }
479 b5cec4c5 David Gibson
480 b5cec4c5 David Gibson
    nr = rtas_ld(args, 0);
481 b5cec4c5 David Gibson
482 b5cec4c5 David Gibson
    if (!ics_valid_irq(ics, nr)) {
483 b5cec4c5 David Gibson
        rtas_st(rets, 0, -3);
484 b5cec4c5 David Gibson
        return;
485 b5cec4c5 David Gibson
    }
486 b5cec4c5 David Gibson
487 b5cec4c5 David Gibson
    /* This is a NOP for now, since the described PAPR semantics don't
488 b5cec4c5 David Gibson
     * seem to gel with what Linux does */
489 b5cec4c5 David Gibson
#if 0
490 b5cec4c5 David Gibson
    struct ics_irq_state *irq = xics->irqs + (nr - xics->offset);
491 b5cec4c5 David Gibson

492 cc67b9c8 David Gibson
    ics_write_xive_msi(xics, nr, irq->server, irq->saved_priority);
493 b5cec4c5 David Gibson
#endif
494 b5cec4c5 David Gibson
495 b5cec4c5 David Gibson
    rtas_st(rets, 0, 0); /* Success */
496 b5cec4c5 David Gibson
}
497 b5cec4c5 David Gibson
498 256b408a David Gibson
static void xics_reset(void *opaque)
499 256b408a David Gibson
{
500 256b408a David Gibson
    struct icp_state *icp = (struct icp_state *)opaque;
501 256b408a David Gibson
    struct ics_state *ics = icp->ics;
502 256b408a David Gibson
    int i;
503 256b408a David Gibson
504 256b408a David Gibson
    for (i = 0; i < icp->nr_servers; i++) {
505 256b408a David Gibson
        icp->ss[i].xirr = 0;
506 256b408a David Gibson
        icp->ss[i].pending_priority = 0;
507 256b408a David Gibson
        icp->ss[i].mfrr = 0xff;
508 256b408a David Gibson
        /* Make all outputs are deasserted */
509 256b408a David Gibson
        qemu_set_irq(icp->ss[i].output, 0);
510 256b408a David Gibson
    }
511 256b408a David Gibson
512 256b408a David Gibson
    for (i = 0; i < ics->nr_irqs; i++) {
513 256b408a David Gibson
        /* Reset everything *except* the type */
514 256b408a David Gibson
        ics->irqs[i].server = 0;
515 98ca8c02 David Gibson
        ics->irqs[i].status = 0;
516 256b408a David Gibson
        ics->irqs[i].priority = 0xff;
517 256b408a David Gibson
        ics->irqs[i].saved_priority = 0xff;
518 256b408a David Gibson
    }
519 256b408a David Gibson
}
520 256b408a David Gibson
521 c7a5c0c9 David Gibson
struct icp_state *xics_system_init(int nr_irqs)
522 b5cec4c5 David Gibson
{
523 e2684c0b Andreas Färber
    CPUPPCState *env;
524 c7a5c0c9 David Gibson
    int max_server_num;
525 b5cec4c5 David Gibson
    struct icp_state *icp;
526 b5cec4c5 David Gibson
    struct ics_state *ics;
527 b5cec4c5 David Gibson
528 c7a5c0c9 David Gibson
    max_server_num = -1;
529 c7a5c0c9 David Gibson
    for (env = first_cpu; env != NULL; env = env->next_cpu) {
530 c7a5c0c9 David Gibson
        if (env->cpu_index > max_server_num) {
531 c7a5c0c9 David Gibson
            max_server_num = env->cpu_index;
532 c7a5c0c9 David Gibson
        }
533 c7a5c0c9 David Gibson
    }
534 c7a5c0c9 David Gibson
535 7267c094 Anthony Liguori
    icp = g_malloc0(sizeof(*icp));
536 c7a5c0c9 David Gibson
    icp->nr_servers = max_server_num + 1;
537 7267c094 Anthony Liguori
    icp->ss = g_malloc0(icp->nr_servers*sizeof(struct icp_server_state));
538 c7a5c0c9 David Gibson
539 c7a5c0c9 David Gibson
    for (env = first_cpu; env != NULL; env = env->next_cpu) {
540 c7a5c0c9 David Gibson
        struct icp_server_state *ss = &icp->ss[env->cpu_index];
541 b5cec4c5 David Gibson
542 c7a5c0c9 David Gibson
        switch (PPC_INPUT(env)) {
543 b5cec4c5 David Gibson
        case PPC_FLAGS_INPUT_POWER7:
544 c7a5c0c9 David Gibson
            ss->output = env->irq_inputs[POWER7_INPUT_INT];
545 b5cec4c5 David Gibson
            break;
546 b5cec4c5 David Gibson
547 b5cec4c5 David Gibson
        case PPC_FLAGS_INPUT_970:
548 c7a5c0c9 David Gibson
            ss->output = env->irq_inputs[PPC970_INPUT_INT];
549 b5cec4c5 David Gibson
            break;
550 b5cec4c5 David Gibson
551 b5cec4c5 David Gibson
        default:
552 b5cec4c5 David Gibson
            hw_error("XICS interrupt model does not support this CPU bus "
553 b5cec4c5 David Gibson
                     "model\n");
554 b5cec4c5 David Gibson
            exit(1);
555 b5cec4c5 David Gibson
        }
556 b5cec4c5 David Gibson
    }
557 b5cec4c5 David Gibson
558 7267c094 Anthony Liguori
    ics = g_malloc0(sizeof(*ics));
559 b5cec4c5 David Gibson
    ics->nr_irqs = nr_irqs;
560 b5cec4c5 David Gibson
    ics->offset = 16;
561 7267c094 Anthony Liguori
    ics->irqs = g_malloc0(nr_irqs * sizeof(struct ics_irq_state));
562 b5cec4c5 David Gibson
563 b5cec4c5 David Gibson
    icp->ics = ics;
564 b5cec4c5 David Gibson
    ics->icp = icp;
565 b5cec4c5 David Gibson
566 d07fee7e David Gibson
    ics->qirqs = qemu_allocate_irqs(ics_set_irq, ics, nr_irqs);
567 b5cec4c5 David Gibson
568 b5cec4c5 David Gibson
    spapr_register_hypercall(H_CPPR, h_cppr);
569 b5cec4c5 David Gibson
    spapr_register_hypercall(H_IPI, h_ipi);
570 b5cec4c5 David Gibson
    spapr_register_hypercall(H_XIRR, h_xirr);
571 b5cec4c5 David Gibson
    spapr_register_hypercall(H_EOI, h_eoi);
572 b5cec4c5 David Gibson
573 b5cec4c5 David Gibson
    spapr_rtas_register("ibm,set-xive", rtas_set_xive);
574 b5cec4c5 David Gibson
    spapr_rtas_register("ibm,get-xive", rtas_get_xive);
575 b5cec4c5 David Gibson
    spapr_rtas_register("ibm,int-off", rtas_int_off);
576 b5cec4c5 David Gibson
    spapr_rtas_register("ibm,int-on", rtas_int_on);
577 b5cec4c5 David Gibson
578 256b408a David Gibson
    qemu_register_reset(xics_reset, icp);
579 256b408a David Gibson
580 b5cec4c5 David Gibson
    return icp;
581 b5cec4c5 David Gibson
}