|
Lines 95-107
struct xentimer_softc {
Link Here
|
| 95 |
struct eventtimer et; |
95 |
struct eventtimer et; |
| 96 |
}; |
96 |
}; |
| 97 |
|
97 |
|
|
|
98 |
int xentimer_disable = 0; |
| 99 |
TUNABLE_INT("hw.xen.disable_pv_timer", &xentimer_disable); |
| 100 |
|
| 98 |
/* Last time; this guarantees a monotonically increasing clock. */ |
101 |
/* Last time; this guarantees a monotonically increasing clock. */ |
| 99 |
volatile uint64_t xen_timer_last_time = 0; |
102 |
volatile uint64_t xen_timer_last_time = 0; |
| 100 |
|
103 |
|
| 101 |
static void |
104 |
static void |
| 102 |
xentimer_identify(driver_t *driver, device_t parent) |
105 |
xentimer_identify(driver_t *driver, device_t parent) |
| 103 |
{ |
106 |
{ |
| 104 |
if (!xen_domain()) |
107 |
if (!xen_domain() || (xentimer_disable != 0)) |
| 105 |
return; |
108 |
return; |
| 106 |
|
109 |
|
| 107 |
/* Handle all Xen PV timers in one device instance. */ |
110 |
/* Handle all Xen PV timers in one device instance. */ |
| 108 |
- |
|
|