Statistics
| Branch: | Revision:

root / hw / wdt_i6300esb.c @ f7b4f61f

History | View | Annotate | Download (14.4 kB)

1 9dd986cc Richard W.M. Jones
/*
2 9dd986cc Richard W.M. Jones
 * Virtual hardware watchdog.
3 9dd986cc Richard W.M. Jones
 *
4 9dd986cc Richard W.M. Jones
 * Copyright (C) 2009 Red Hat Inc.
5 9dd986cc Richard W.M. Jones
 *
6 9dd986cc Richard W.M. Jones
 * This program is free software; you can redistribute it and/or
7 9dd986cc Richard W.M. Jones
 * modify it under the terms of the GNU General Public License
8 9dd986cc Richard W.M. Jones
 * as published by the Free Software Foundation; either version 2
9 9dd986cc Richard W.M. Jones
 * of the License, or (at your option) any later version.
10 9dd986cc Richard W.M. Jones
 *
11 9dd986cc Richard W.M. Jones
 * This program is distributed in the hope that it will be useful,
12 9dd986cc Richard W.M. Jones
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 9dd986cc Richard W.M. Jones
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 9dd986cc Richard W.M. Jones
 * GNU General Public License for more details.
15 9dd986cc Richard W.M. Jones
 *
16 9dd986cc Richard W.M. Jones
 * You should have received a copy of the GNU General Public License
17 8167ee88 Blue Swirl
 * along with this program; if not, see <http://www.gnu.org/licenses/>.
18 9dd986cc Richard W.M. Jones
 *
19 9dd986cc Richard W.M. Jones
 * By Richard W.M. Jones (rjones@redhat.com).
20 9dd986cc Richard W.M. Jones
 */
21 9dd986cc Richard W.M. Jones
22 9dd986cc Richard W.M. Jones
#include <inttypes.h>
23 9dd986cc Richard W.M. Jones
24 9dd986cc Richard W.M. Jones
#include "qemu-common.h"
25 9dd986cc Richard W.M. Jones
#include "qemu-timer.h"
26 9dd986cc Richard W.M. Jones
#include "watchdog.h"
27 9dd986cc Richard W.M. Jones
#include "hw.h"
28 9dd986cc Richard W.M. Jones
#include "pc.h"
29 9dd986cc Richard W.M. Jones
#include "pci.h"
30 9dd986cc Richard W.M. Jones
31 9dd986cc Richard W.M. Jones
/*#define I6300ESB_DEBUG 1*/
32 9dd986cc Richard W.M. Jones
33 9dd986cc Richard W.M. Jones
#ifdef I6300ESB_DEBUG
34 9dd986cc Richard W.M. Jones
#define i6300esb_debug(fs,...) \
35 9dd986cc Richard W.M. Jones
    fprintf(stderr,"i6300esb: %s: "fs,__func__,##__VA_ARGS__)
36 9dd986cc Richard W.M. Jones
#else
37 9dd986cc Richard W.M. Jones
#define i6300esb_debug(fs,...)
38 9dd986cc Richard W.M. Jones
#endif
39 9dd986cc Richard W.M. Jones
40 9dd986cc Richard W.M. Jones
#ifndef PCI_DEVICE_ID_INTEL_ESB_9
41 9dd986cc Richard W.M. Jones
#define PCI_DEVICE_ID_INTEL_ESB_9 0x25ab
42 9dd986cc Richard W.M. Jones
#endif
43 9dd986cc Richard W.M. Jones
44 9dd986cc Richard W.M. Jones
/* PCI configuration registers */
45 9dd986cc Richard W.M. Jones
#define ESB_CONFIG_REG  0x60            /* Config register                   */
46 9dd986cc Richard W.M. Jones
#define ESB_LOCK_REG    0x68            /* WDT lock register                 */
47 9dd986cc Richard W.M. Jones
48 9dd986cc Richard W.M. Jones
/* Memory mapped registers (offset from base address) */
49 9dd986cc Richard W.M. Jones
#define ESB_TIMER1_REG  0x00            /* Timer1 value after each reset     */
50 9dd986cc Richard W.M. Jones
#define ESB_TIMER2_REG  0x04            /* Timer2 value after each reset     */
51 9dd986cc Richard W.M. Jones
#define ESB_GINTSR_REG  0x08            /* General Interrupt Status Register */
52 9dd986cc Richard W.M. Jones
#define ESB_RELOAD_REG  0x0c            /* Reload register                   */
53 9dd986cc Richard W.M. Jones
54 9dd986cc Richard W.M. Jones
/* Lock register bits */
55 9dd986cc Richard W.M. Jones
#define ESB_WDT_FUNC    (0x01 << 2)   /* Watchdog functionality            */
56 9dd986cc Richard W.M. Jones
#define ESB_WDT_ENABLE  (0x01 << 1)   /* Enable WDT                        */
57 9dd986cc Richard W.M. Jones
#define ESB_WDT_LOCK    (0x01 << 0)   /* Lock (nowayout)                   */
58 9dd986cc Richard W.M. Jones
59 9dd986cc Richard W.M. Jones
/* Config register bits */
60 9dd986cc Richard W.M. Jones
#define ESB_WDT_REBOOT  (0x01 << 5)   /* Enable reboot on timeout          */
61 9dd986cc Richard W.M. Jones
#define ESB_WDT_FREQ    (0x01 << 2)   /* Decrement frequency               */
62 9dd986cc Richard W.M. Jones
#define ESB_WDT_INTTYPE (0x11 << 0)   /* Interrupt type on timer1 timeout  */
63 9dd986cc Richard W.M. Jones
64 9dd986cc Richard W.M. Jones
/* Reload register bits */
65 9dd986cc Richard W.M. Jones
#define ESB_WDT_RELOAD  (0x01 << 8)    /* prevent timeout                   */
66 9dd986cc Richard W.M. Jones
67 9dd986cc Richard W.M. Jones
/* Magic constants */
68 9dd986cc Richard W.M. Jones
#define ESB_UNLOCK1     0x80            /* Step 1 to unlock reset registers  */
69 9dd986cc Richard W.M. Jones
#define ESB_UNLOCK2     0x86            /* Step 2 to unlock reset registers  */
70 9dd986cc Richard W.M. Jones
71 9dd986cc Richard W.M. Jones
/* Device state. */
72 9dd986cc Richard W.M. Jones
struct I6300State {
73 9d472d51 Markus Armbruster
    PCIDevice dev;
74 9dd986cc Richard W.M. Jones
75 9dd986cc Richard W.M. Jones
    int reboot_enabled;         /* "Reboot" on timer expiry.  The real action
76 9dd986cc Richard W.M. Jones
                                 * performed depends on the -watchdog-action
77 9dd986cc Richard W.M. Jones
                                 * param passed on QEMU command line.
78 9dd986cc Richard W.M. Jones
                                 */
79 9dd986cc Richard W.M. Jones
    int clock_scale;            /* Clock scale. */
80 9dd986cc Richard W.M. Jones
#define CLOCK_SCALE_1KHZ 0
81 9dd986cc Richard W.M. Jones
#define CLOCK_SCALE_1MHZ 1
82 9dd986cc Richard W.M. Jones
83 9dd986cc Richard W.M. Jones
    int int_type;               /* Interrupt type generated. */
84 9dd986cc Richard W.M. Jones
#define INT_TYPE_IRQ 0          /* APIC 1, INT 10 */
85 9dd986cc Richard W.M. Jones
#define INT_TYPE_SMI 2
86 9dd986cc Richard W.M. Jones
#define INT_TYPE_DISABLED 3
87 9dd986cc Richard W.M. Jones
88 9dd986cc Richard W.M. Jones
    int free_run;               /* If true, reload timer on expiry. */
89 9dd986cc Richard W.M. Jones
    int locked;                 /* If true, enabled field cannot be changed. */
90 9dd986cc Richard W.M. Jones
    int enabled;                /* If true, watchdog is enabled. */
91 9dd986cc Richard W.M. Jones
92 9dd986cc Richard W.M. Jones
    QEMUTimer *timer;           /* The actual watchdog timer. */
93 9dd986cc Richard W.M. Jones
94 9dd986cc Richard W.M. Jones
    uint32_t timer1_preload;    /* Values preloaded into timer1, timer2. */
95 9dd986cc Richard W.M. Jones
    uint32_t timer2_preload;
96 9dd986cc Richard W.M. Jones
    int stage;                  /* Stage (1 or 2). */
97 9dd986cc Richard W.M. Jones
98 9dd986cc Richard W.M. Jones
    int unlock_state;           /* Guest writes 0x80, 0x86 to unlock the
99 9dd986cc Richard W.M. Jones
                                 * registers, and we transition through
100 9dd986cc Richard W.M. Jones
                                 * states 0 -> 1 -> 2 when this happens.
101 9dd986cc Richard W.M. Jones
                                 */
102 9dd986cc Richard W.M. Jones
103 9dd986cc Richard W.M. Jones
    int previous_reboot_flag;   /* If the watchdog caused the previous
104 9dd986cc Richard W.M. Jones
                                 * reboot, this flag will be set.
105 9dd986cc Richard W.M. Jones
                                 */
106 9dd986cc Richard W.M. Jones
};
107 9dd986cc Richard W.M. Jones
108 9dd986cc Richard W.M. Jones
typedef struct I6300State I6300State;
109 9dd986cc Richard W.M. Jones
110 9dd986cc Richard W.M. Jones
/* This function is called when the watchdog has either been enabled
111 9dd986cc Richard W.M. Jones
 * (hence it starts counting down) or has been keep-alived.
112 9dd986cc Richard W.M. Jones
 */
113 9dd986cc Richard W.M. Jones
static void i6300esb_restart_timer(I6300State *d, int stage)
114 9dd986cc Richard W.M. Jones
{
115 9dd986cc Richard W.M. Jones
    int64_t timeout;
116 9dd986cc Richard W.M. Jones
117 9dd986cc Richard W.M. Jones
    if (!d->enabled)
118 9dd986cc Richard W.M. Jones
        return;
119 9dd986cc Richard W.M. Jones
120 9dd986cc Richard W.M. Jones
    d->stage = stage;
121 9dd986cc Richard W.M. Jones
122 9dd986cc Richard W.M. Jones
    if (d->stage <= 1)
123 9dd986cc Richard W.M. Jones
        timeout = d->timer1_preload;
124 9dd986cc Richard W.M. Jones
    else
125 9dd986cc Richard W.M. Jones
        timeout = d->timer2_preload;
126 9dd986cc Richard W.M. Jones
127 9dd986cc Richard W.M. Jones
    if (d->clock_scale == CLOCK_SCALE_1KHZ)
128 9dd986cc Richard W.M. Jones
        timeout <<= 15;
129 9dd986cc Richard W.M. Jones
    else
130 9dd986cc Richard W.M. Jones
        timeout <<= 5;
131 9dd986cc Richard W.M. Jones
132 9dd986cc Richard W.M. Jones
    /* Get the timeout in units of ticks_per_sec. */
133 9dd986cc Richard W.M. Jones
    timeout = ticks_per_sec * timeout / 33000000;
134 9dd986cc Richard W.M. Jones
135 9dd986cc Richard W.M. Jones
    i6300esb_debug("stage %d, timeout %" PRIi64 "\n", d->stage, timeout);
136 9dd986cc Richard W.M. Jones
137 9dd986cc Richard W.M. Jones
    qemu_mod_timer(d->timer, qemu_get_clock(vm_clock) + timeout);
138 9dd986cc Richard W.M. Jones
}
139 9dd986cc Richard W.M. Jones
140 9dd986cc Richard W.M. Jones
/* This is called when the guest disables the watchdog. */
141 9dd986cc Richard W.M. Jones
static void i6300esb_disable_timer(I6300State *d)
142 9dd986cc Richard W.M. Jones
{
143 9dd986cc Richard W.M. Jones
    i6300esb_debug("timer disabled\n");
144 9dd986cc Richard W.M. Jones
145 9dd986cc Richard W.M. Jones
    qemu_del_timer(d->timer);
146 9dd986cc Richard W.M. Jones
}
147 9dd986cc Richard W.M. Jones
148 9dd986cc Richard W.M. Jones
static void i6300esb_reset(I6300State *d)
149 9dd986cc Richard W.M. Jones
{
150 9dd986cc Richard W.M. Jones
    /* XXX We should probably reset other parts of the state here,
151 9dd986cc Richard W.M. Jones
     * but we should also reset our state on general machine reset
152 9dd986cc Richard W.M. Jones
     * too.  For now just disable the timer so it doesn't fire
153 9dd986cc Richard W.M. Jones
     * again after the reboot.
154 9dd986cc Richard W.M. Jones
     */
155 9dd986cc Richard W.M. Jones
    i6300esb_disable_timer(d);
156 9dd986cc Richard W.M. Jones
}
157 9dd986cc Richard W.M. Jones
158 9dd986cc Richard W.M. Jones
/* This function is called when the watchdog expires.  Note that
159 9dd986cc Richard W.M. Jones
 * the hardware has two timers, and so expiry happens in two stages.
160 9dd986cc Richard W.M. Jones
 * If d->stage == 1 then we perform the first stage action (usually,
161 9dd986cc Richard W.M. Jones
 * sending an interrupt) and then restart the timer again for the
162 9dd986cc Richard W.M. Jones
 * second stage.  If the second stage expires then the watchdog
163 9dd986cc Richard W.M. Jones
 * really has run out.
164 9dd986cc Richard W.M. Jones
 */
165 9dd986cc Richard W.M. Jones
static void i6300esb_timer_expired(void *vp)
166 9dd986cc Richard W.M. Jones
{
167 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
168 9dd986cc Richard W.M. Jones
169 9dd986cc Richard W.M. Jones
    i6300esb_debug("stage %d\n", d->stage);
170 9dd986cc Richard W.M. Jones
171 9dd986cc Richard W.M. Jones
    if (d->stage == 1) {
172 9dd986cc Richard W.M. Jones
        /* What to do at the end of stage 1? */
173 9dd986cc Richard W.M. Jones
        switch (d->int_type) {
174 9dd986cc Richard W.M. Jones
        case INT_TYPE_IRQ:
175 9dd986cc Richard W.M. Jones
            fprintf(stderr, "i6300esb_timer_expired: I would send APIC 1 INT 10 here if I knew how (XXX)\n");
176 9dd986cc Richard W.M. Jones
            break;
177 9dd986cc Richard W.M. Jones
        case INT_TYPE_SMI:
178 9dd986cc Richard W.M. Jones
            fprintf(stderr, "i6300esb_timer_expired: I would send SMI here if I knew how (XXX)\n");
179 9dd986cc Richard W.M. Jones
            break;
180 9dd986cc Richard W.M. Jones
        }
181 9dd986cc Richard W.M. Jones
182 9dd986cc Richard W.M. Jones
        /* Start the second stage. */
183 9dd986cc Richard W.M. Jones
        i6300esb_restart_timer(d, 2);
184 9dd986cc Richard W.M. Jones
    } else {
185 9dd986cc Richard W.M. Jones
        /* Second stage expired, reboot for real. */
186 9dd986cc Richard W.M. Jones
        if (d->reboot_enabled) {
187 9dd986cc Richard W.M. Jones
            d->previous_reboot_flag = 1;
188 9dd986cc Richard W.M. Jones
            watchdog_perform_action(); /* This reboots, exits, etc */
189 9dd986cc Richard W.M. Jones
            i6300esb_reset(d);
190 9dd986cc Richard W.M. Jones
        }
191 9dd986cc Richard W.M. Jones
192 9dd986cc Richard W.M. Jones
        /* In "free running mode" we start stage 1 again. */
193 9dd986cc Richard W.M. Jones
        if (d->free_run)
194 9dd986cc Richard W.M. Jones
            i6300esb_restart_timer(d, 1);
195 9dd986cc Richard W.M. Jones
    }
196 9dd986cc Richard W.M. Jones
}
197 9dd986cc Richard W.M. Jones
198 9dd986cc Richard W.M. Jones
static void i6300esb_config_write(PCIDevice *dev, uint32_t addr,
199 9dd986cc Richard W.M. Jones
                                  uint32_t data, int len)
200 9dd986cc Richard W.M. Jones
{
201 9d472d51 Markus Armbruster
    I6300State *d = container_of(dev, I6300State, dev);
202 9dd986cc Richard W.M. Jones
    int old;
203 9dd986cc Richard W.M. Jones
204 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x, data = %x, len = %d\n", addr, data, len);
205 9dd986cc Richard W.M. Jones
206 9dd986cc Richard W.M. Jones
    if (addr == ESB_CONFIG_REG && len == 2) {
207 9dd986cc Richard W.M. Jones
        d->reboot_enabled = (data & ESB_WDT_REBOOT) == 0;
208 9dd986cc Richard W.M. Jones
        d->clock_scale =
209 9dd986cc Richard W.M. Jones
            (data & ESB_WDT_FREQ) != 0 ? CLOCK_SCALE_1MHZ : CLOCK_SCALE_1KHZ;
210 9dd986cc Richard W.M. Jones
        d->int_type = (data & ESB_WDT_INTTYPE);
211 9dd986cc Richard W.M. Jones
    } else if (addr == ESB_LOCK_REG && len == 1) {
212 9dd986cc Richard W.M. Jones
        if (!d->locked) {
213 9dd986cc Richard W.M. Jones
            d->locked = (data & ESB_WDT_LOCK) != 0;
214 9dd986cc Richard W.M. Jones
            d->free_run = (data & ESB_WDT_FUNC) != 0;
215 9dd986cc Richard W.M. Jones
            old = d->enabled;
216 9dd986cc Richard W.M. Jones
            d->enabled = (data & ESB_WDT_ENABLE) != 0;
217 9dd986cc Richard W.M. Jones
            if (!old && d->enabled) /* Enabled transitioned from 0 -> 1 */
218 9dd986cc Richard W.M. Jones
                i6300esb_restart_timer(d, 1);
219 9dd986cc Richard W.M. Jones
            else if (!d->enabled)
220 9dd986cc Richard W.M. Jones
                i6300esb_disable_timer(d);
221 9dd986cc Richard W.M. Jones
        }
222 9dd986cc Richard W.M. Jones
    } else {
223 9dd986cc Richard W.M. Jones
        pci_default_write_config(dev, addr, data, len);
224 9dd986cc Richard W.M. Jones
    }
225 9dd986cc Richard W.M. Jones
}
226 9dd986cc Richard W.M. Jones
227 9dd986cc Richard W.M. Jones
static uint32_t i6300esb_config_read(PCIDevice *dev, uint32_t addr, int len)
228 9dd986cc Richard W.M. Jones
{
229 9d472d51 Markus Armbruster
    I6300State *d = container_of(dev, I6300State, dev);
230 9dd986cc Richard W.M. Jones
    uint32_t data;
231 9dd986cc Richard W.M. Jones
232 9dd986cc Richard W.M. Jones
    i6300esb_debug ("addr = %x, len = %d\n", addr, len);
233 9dd986cc Richard W.M. Jones
234 9dd986cc Richard W.M. Jones
    if (addr == ESB_CONFIG_REG && len == 2) {
235 9dd986cc Richard W.M. Jones
        data =
236 9dd986cc Richard W.M. Jones
            (d->reboot_enabled ? 0 : ESB_WDT_REBOOT) |
237 9dd986cc Richard W.M. Jones
            (d->clock_scale == CLOCK_SCALE_1MHZ ? ESB_WDT_FREQ : 0) |
238 9dd986cc Richard W.M. Jones
            d->int_type;
239 9dd986cc Richard W.M. Jones
        return data;
240 9dd986cc Richard W.M. Jones
    } else if (addr == ESB_LOCK_REG && len == 1) {
241 9dd986cc Richard W.M. Jones
        data =
242 9dd986cc Richard W.M. Jones
            (d->free_run ? ESB_WDT_FUNC : 0) |
243 9dd986cc Richard W.M. Jones
            (d->locked ? ESB_WDT_LOCK : 0) |
244 9dd986cc Richard W.M. Jones
            (d->enabled ? ESB_WDT_ENABLE : 0);
245 9dd986cc Richard W.M. Jones
        return data;
246 9dd986cc Richard W.M. Jones
    } else {
247 9dd986cc Richard W.M. Jones
        return pci_default_read_config(dev, addr, len);
248 9dd986cc Richard W.M. Jones
    }
249 9dd986cc Richard W.M. Jones
}
250 9dd986cc Richard W.M. Jones
251 9dd986cc Richard W.M. Jones
static uint32_t i6300esb_mem_readb(void *vp, target_phys_addr_t addr)
252 9dd986cc Richard W.M. Jones
{
253 9dd986cc Richard W.M. Jones
    i6300esb_debug ("addr = %x\n", (int) addr);
254 9dd986cc Richard W.M. Jones
255 9dd986cc Richard W.M. Jones
    return 0;
256 9dd986cc Richard W.M. Jones
}
257 9dd986cc Richard W.M. Jones
258 9dd986cc Richard W.M. Jones
static uint32_t i6300esb_mem_readw(void *vp, target_phys_addr_t addr)
259 9dd986cc Richard W.M. Jones
{
260 9dd986cc Richard W.M. Jones
    uint32_t data = 0;
261 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
262 9dd986cc Richard W.M. Jones
263 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x\n", (int) addr);
264 9dd986cc Richard W.M. Jones
265 9dd986cc Richard W.M. Jones
    if (addr == 0xc) {
266 9dd986cc Richard W.M. Jones
        /* The previous reboot flag is really bit 9, but there is
267 9dd986cc Richard W.M. Jones
         * a bug in the Linux driver where it thinks it's bit 12.
268 9dd986cc Richard W.M. Jones
         * Set both.
269 9dd986cc Richard W.M. Jones
         */
270 9dd986cc Richard W.M. Jones
        data = d->previous_reboot_flag ? 0x1200 : 0;
271 9dd986cc Richard W.M. Jones
    }
272 9dd986cc Richard W.M. Jones
273 9dd986cc Richard W.M. Jones
    return data;
274 9dd986cc Richard W.M. Jones
}
275 9dd986cc Richard W.M. Jones
276 9dd986cc Richard W.M. Jones
static uint32_t i6300esb_mem_readl(void *vp, target_phys_addr_t addr)
277 9dd986cc Richard W.M. Jones
{
278 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x\n", (int) addr);
279 9dd986cc Richard W.M. Jones
280 9dd986cc Richard W.M. Jones
    return 0;
281 9dd986cc Richard W.M. Jones
}
282 9dd986cc Richard W.M. Jones
283 9dd986cc Richard W.M. Jones
static void i6300esb_mem_writeb(void *vp, target_phys_addr_t addr, uint32_t val)
284 9dd986cc Richard W.M. Jones
{
285 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
286 9dd986cc Richard W.M. Jones
287 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x, val = %x\n", (int) addr, val);
288 9dd986cc Richard W.M. Jones
289 9dd986cc Richard W.M. Jones
    if (addr == 0xc && val == 0x80)
290 9dd986cc Richard W.M. Jones
        d->unlock_state = 1;
291 9dd986cc Richard W.M. Jones
    else if (addr == 0xc && val == 0x86 && d->unlock_state == 1)
292 9dd986cc Richard W.M. Jones
        d->unlock_state = 2;
293 9dd986cc Richard W.M. Jones
}
294 9dd986cc Richard W.M. Jones
295 9dd986cc Richard W.M. Jones
static void i6300esb_mem_writew(void *vp, target_phys_addr_t addr, uint32_t val)
296 9dd986cc Richard W.M. Jones
{
297 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
298 9dd986cc Richard W.M. Jones
299 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x, val = %x\n", (int) addr, val);
300 9dd986cc Richard W.M. Jones
301 9dd986cc Richard W.M. Jones
    if (addr == 0xc && val == 0x80)
302 9dd986cc Richard W.M. Jones
        d->unlock_state = 1;
303 9dd986cc Richard W.M. Jones
    else if (addr == 0xc && val == 0x86 && d->unlock_state == 1)
304 9dd986cc Richard W.M. Jones
        d->unlock_state = 2;
305 9dd986cc Richard W.M. Jones
    else {
306 9dd986cc Richard W.M. Jones
        if (d->unlock_state == 2) {
307 9dd986cc Richard W.M. Jones
            if (addr == 0xc) {
308 9dd986cc Richard W.M. Jones
                if ((val & 0x100) != 0)
309 9dd986cc Richard W.M. Jones
                    /* This is the "ping" from the userspace watchdog in
310 9dd986cc Richard W.M. Jones
                     * the guest ...
311 9dd986cc Richard W.M. Jones
                     */
312 9dd986cc Richard W.M. Jones
                    i6300esb_restart_timer(d, 1);
313 9dd986cc Richard W.M. Jones
314 9dd986cc Richard W.M. Jones
                /* Setting bit 9 resets the previous reboot flag.
315 9dd986cc Richard W.M. Jones
                 * There's a bug in the Linux driver where it sets
316 9dd986cc Richard W.M. Jones
                 * bit 12 instead.
317 9dd986cc Richard W.M. Jones
                 */
318 9dd986cc Richard W.M. Jones
                if ((val & 0x200) != 0 || (val & 0x1000) != 0) {
319 9dd986cc Richard W.M. Jones
                    d->previous_reboot_flag = 0;
320 9dd986cc Richard W.M. Jones
                }
321 9dd986cc Richard W.M. Jones
            }
322 9dd986cc Richard W.M. Jones
323 9dd986cc Richard W.M. Jones
            d->unlock_state = 0;
324 9dd986cc Richard W.M. Jones
        }
325 9dd986cc Richard W.M. Jones
    }
326 9dd986cc Richard W.M. Jones
}
327 9dd986cc Richard W.M. Jones
328 9dd986cc Richard W.M. Jones
static void i6300esb_mem_writel(void *vp, target_phys_addr_t addr, uint32_t val)
329 9dd986cc Richard W.M. Jones
{
330 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
331 9dd986cc Richard W.M. Jones
332 9dd986cc Richard W.M. Jones
    i6300esb_debug ("addr = %x, val = %x\n", (int) addr, val);
333 9dd986cc Richard W.M. Jones
334 9dd986cc Richard W.M. Jones
    if (addr == 0xc && val == 0x80)
335 9dd986cc Richard W.M. Jones
        d->unlock_state = 1;
336 9dd986cc Richard W.M. Jones
    else if (addr == 0xc && val == 0x86 && d->unlock_state == 1)
337 9dd986cc Richard W.M. Jones
        d->unlock_state = 2;
338 9dd986cc Richard W.M. Jones
    else {
339 9dd986cc Richard W.M. Jones
        if (d->unlock_state == 2) {
340 9dd986cc Richard W.M. Jones
            if (addr == 0)
341 9dd986cc Richard W.M. Jones
                d->timer1_preload = val & 0xfffff;
342 9dd986cc Richard W.M. Jones
            else if (addr == 4)
343 9dd986cc Richard W.M. Jones
                d->timer2_preload = val & 0xfffff;
344 9dd986cc Richard W.M. Jones
345 9dd986cc Richard W.M. Jones
            d->unlock_state = 0;
346 9dd986cc Richard W.M. Jones
        }
347 9dd986cc Richard W.M. Jones
    }
348 9dd986cc Richard W.M. Jones
}
349 9dd986cc Richard W.M. Jones
350 9dd986cc Richard W.M. Jones
static void i6300esb_map(PCIDevice *dev, int region_num,
351 9dd986cc Richard W.M. Jones
                         uint32_t addr, uint32_t size, int type)
352 9dd986cc Richard W.M. Jones
{
353 d60efc6b Blue Swirl
    static CPUReadMemoryFunc * const mem_read[3] = {
354 9dd986cc Richard W.M. Jones
        i6300esb_mem_readb,
355 9dd986cc Richard W.M. Jones
        i6300esb_mem_readw,
356 9dd986cc Richard W.M. Jones
        i6300esb_mem_readl,
357 9dd986cc Richard W.M. Jones
    };
358 d60efc6b Blue Swirl
    static CPUWriteMemoryFunc * const mem_write[3] = {
359 9dd986cc Richard W.M. Jones
        i6300esb_mem_writeb,
360 9dd986cc Richard W.M. Jones
        i6300esb_mem_writew,
361 9dd986cc Richard W.M. Jones
        i6300esb_mem_writel,
362 9dd986cc Richard W.M. Jones
    };
363 9d472d51 Markus Armbruster
    I6300State *d = container_of(dev, I6300State, dev);
364 9dd986cc Richard W.M. Jones
    int io_mem;
365 9dd986cc Richard W.M. Jones
366 9dd986cc Richard W.M. Jones
    i6300esb_debug("addr = %x, size = %x, type = %d\n", addr, size, type);
367 9dd986cc Richard W.M. Jones
368 1eed09cb Avi Kivity
    io_mem = cpu_register_io_memory(mem_read, mem_write, d);
369 9dd986cc Richard W.M. Jones
    cpu_register_physical_memory (addr, 0x10, io_mem);
370 9dd986cc Richard W.M. Jones
    /* qemu_register_coalesced_mmio (addr, 0x10); ? */
371 9dd986cc Richard W.M. Jones
}
372 9dd986cc Richard W.M. Jones
373 9dd986cc Richard W.M. Jones
static void i6300esb_save(QEMUFile *f, void *vp)
374 9dd986cc Richard W.M. Jones
{
375 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
376 9dd986cc Richard W.M. Jones
377 9dd986cc Richard W.M. Jones
    pci_device_save(&d->dev, f);
378 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->reboot_enabled);
379 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->clock_scale);
380 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->int_type);
381 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->free_run);
382 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->locked);
383 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->enabled);
384 9dd986cc Richard W.M. Jones
    qemu_put_timer(f, d->timer);
385 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->timer1_preload);
386 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->timer2_preload);
387 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->stage);
388 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->unlock_state);
389 9dd986cc Richard W.M. Jones
    qemu_put_be32(f, d->previous_reboot_flag);
390 9dd986cc Richard W.M. Jones
}
391 9dd986cc Richard W.M. Jones
392 9dd986cc Richard W.M. Jones
static int i6300esb_load(QEMUFile *f, void *vp, int version)
393 9dd986cc Richard W.M. Jones
{
394 9dd986cc Richard W.M. Jones
    I6300State *d = (I6300State *) vp;
395 9dd986cc Richard W.M. Jones
396 9dd986cc Richard W.M. Jones
    if (version != sizeof (I6300State))
397 9dd986cc Richard W.M. Jones
        return -EINVAL;
398 9dd986cc Richard W.M. Jones
399 9dd986cc Richard W.M. Jones
    pci_device_load(&d->dev, f);
400 9dd986cc Richard W.M. Jones
    d->reboot_enabled = qemu_get_be32(f);
401 9dd986cc Richard W.M. Jones
    d->clock_scale = qemu_get_be32(f);
402 9dd986cc Richard W.M. Jones
    d->int_type = qemu_get_be32(f);
403 9dd986cc Richard W.M. Jones
    d->free_run = qemu_get_be32(f);
404 9dd986cc Richard W.M. Jones
    d->locked = qemu_get_be32(f);
405 9dd986cc Richard W.M. Jones
    d->enabled = qemu_get_be32(f);
406 9dd986cc Richard W.M. Jones
    qemu_get_timer(f, d->timer);
407 9dd986cc Richard W.M. Jones
    d->timer1_preload = qemu_get_be32(f);
408 9dd986cc Richard W.M. Jones
    d->timer2_preload = qemu_get_be32(f);
409 9dd986cc Richard W.M. Jones
    d->stage = qemu_get_be32(f);
410 9dd986cc Richard W.M. Jones
    d->unlock_state = qemu_get_be32(f);
411 9dd986cc Richard W.M. Jones
    d->previous_reboot_flag = qemu_get_be32(f);
412 9dd986cc Richard W.M. Jones
413 9dd986cc Richard W.M. Jones
    return 0;
414 9dd986cc Richard W.M. Jones
}
415 9dd986cc Richard W.M. Jones
416 81a322d4 Gerd Hoffmann
static int i6300esb_init(PCIDevice *dev)
417 9dd986cc Richard W.M. Jones
{
418 09aaa160 Markus Armbruster
    I6300State *d = container_of(dev, I6300State, dev);
419 9dd986cc Richard W.M. Jones
    uint8_t *pci_conf;
420 9dd986cc Richard W.M. Jones
421 9dd986cc Richard W.M. Jones
    d->reboot_enabled = 1;
422 9dd986cc Richard W.M. Jones
    d->clock_scale = CLOCK_SCALE_1KHZ;
423 9dd986cc Richard W.M. Jones
    d->int_type = INT_TYPE_IRQ;
424 9dd986cc Richard W.M. Jones
    d->free_run = 0;
425 9dd986cc Richard W.M. Jones
    d->locked = 0;
426 9dd986cc Richard W.M. Jones
    d->enabled = 0;
427 9dd986cc Richard W.M. Jones
    d->timer = qemu_new_timer(vm_clock, i6300esb_timer_expired, d);
428 9dd986cc Richard W.M. Jones
    d->timer1_preload = 0xfffff;
429 9dd986cc Richard W.M. Jones
    d->timer2_preload = 0xfffff;
430 9dd986cc Richard W.M. Jones
    d->stage = 1;
431 9dd986cc Richard W.M. Jones
    d->unlock_state = 0;
432 9dd986cc Richard W.M. Jones
    d->previous_reboot_flag = 0;
433 9dd986cc Richard W.M. Jones
434 9dd986cc Richard W.M. Jones
    pci_conf = d->dev.config;
435 9dd986cc Richard W.M. Jones
    pci_config_set_vendor_id(pci_conf, PCI_VENDOR_ID_INTEL);
436 9dd986cc Richard W.M. Jones
    pci_config_set_device_id(pci_conf, PCI_DEVICE_ID_INTEL_ESB_9);
437 9dd986cc Richard W.M. Jones
    pci_config_set_class(pci_conf, PCI_CLASS_SYSTEM_OTHER);
438 9dd986cc Richard W.M. Jones
    pci_conf[0x0e] = 0x00;
439 9dd986cc Richard W.M. Jones
440 28c2c264 Avi Kivity
    pci_register_bar(&d->dev, 0, 0x10,
441 9dd986cc Richard W.M. Jones
                            PCI_ADDRESS_SPACE_MEM, i6300esb_map);
442 9dd986cc Richard W.M. Jones
443 9dd986cc Richard W.M. Jones
    register_savevm("i6300esb_wdt", -1, sizeof(I6300State),
444 9dd986cc Richard W.M. Jones
                     i6300esb_save, i6300esb_load, d);
445 81a322d4 Gerd Hoffmann
446 81a322d4 Gerd Hoffmann
    return 0;
447 9dd986cc Richard W.M. Jones
}
448 9dd986cc Richard W.M. Jones
449 9dd986cc Richard W.M. Jones
static WatchdogTimerModel model = {
450 9dd986cc Richard W.M. Jones
    .wdt_name = "i6300esb",
451 9dd986cc Richard W.M. Jones
    .wdt_description = "Intel 6300ESB",
452 9dd986cc Richard W.M. Jones
};
453 9dd986cc Richard W.M. Jones
454 09aaa160 Markus Armbruster
static PCIDeviceInfo i6300esb_info = {
455 09aaa160 Markus Armbruster
    .qdev.name    = "i6300esb",
456 09aaa160 Markus Armbruster
    .qdev.size    = sizeof(I6300State),
457 09aaa160 Markus Armbruster
    .config_read  = i6300esb_config_read,
458 09aaa160 Markus Armbruster
    .config_write = i6300esb_config_write,
459 09aaa160 Markus Armbruster
    .init         = i6300esb_init,
460 09aaa160 Markus Armbruster
};
461 09aaa160 Markus Armbruster
462 09aaa160 Markus Armbruster
static void i6300esb_register_devices(void)
463 9dd986cc Richard W.M. Jones
{
464 9dd986cc Richard W.M. Jones
    watchdog_add_model(&model);
465 09aaa160 Markus Armbruster
    pci_qdev_register(&i6300esb_info);
466 9dd986cc Richard W.M. Jones
}
467 09aaa160 Markus Armbruster
468 09aaa160 Markus Armbruster
device_init(i6300esb_register_devices);