root / hw / watchdog.h @ 88b3be20
History | View | Annotate | Download (1.7 kB)
1 |
/*
|
---|---|
2 |
* Virtual hardware watchdog.
|
3 |
*
|
4 |
* Copyright (C) 2009 Red Hat Inc.
|
5 |
*
|
6 |
* This program is free software; you can redistribute it and/or
|
7 |
* modify it under the terms of the GNU General Public License
|
8 |
* as published by the Free Software Foundation; either version 2
|
9 |
* of the License, or (at your option) any later version.
|
10 |
*
|
11 |
* This program is distributed in the hope that it will be useful,
|
12 |
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
14 |
* GNU General Public License for more details.
|
15 |
*
|
16 |
* You should have received a copy of the GNU General Public License
|
17 |
* along with this program; if not, see <http://www.gnu.org/licenses/>.
|
18 |
*
|
19 |
* By Richard W.M. Jones (rjones@redhat.com).
|
20 |
*/
|
21 |
|
22 |
#ifndef QEMU_WATCHDOG_H
|
23 |
#define QEMU_WATCHDOG_H
|
24 |
|
25 |
extern void wdt_i6300esb_init(void); |
26 |
extern void wdt_ib700_init(void); |
27 |
|
28 |
|
29 |
struct WatchdogTimerModel {
|
30 |
LIST_ENTRY(WatchdogTimerModel) entry; |
31 |
|
32 |
/* Short name of the device - used to select it on the command line. */
|
33 |
const char *wdt_name; |
34 |
/* Longer description (eg. manufacturer and full model number). */
|
35 |
const char *wdt_description; |
36 |
|
37 |
/* This callback should create/register the device. It is called
|
38 |
* indirectly from hw/pc.c when the virtual PC is being set up.
|
39 |
*/
|
40 |
void (*wdt_pc_init)(PCIBus *pci_bus);
|
41 |
}; |
42 |
typedef struct WatchdogTimerModel WatchdogTimerModel; |
43 |
|
44 |
/* in hw/watchdog.c */
|
45 |
extern int select_watchdog(const char *p); |
46 |
extern int select_watchdog_action(const char *action); |
47 |
extern void watchdog_add_model(WatchdogTimerModel *model); |
48 |
extern void watchdog_perform_action(void); |
49 |
extern void watchdog_pc_init(PCIBus *pci_bus); |
50 |
extern void register_watchdogs(void); |
51 |
|
52 |
#endif /* QEMU_WATCHDOG_H */ |