Statistics
| Branch: | Revision:

root / hw / wdt_i6300esb.c @ 1632dc6a

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