Changeset View
Changeset View
Standalone View
Standalone View
sys/dev/xen/timer/timer.c
Show First 20 Lines • Show All 86 Lines • ▼ Show 20 Lines | |||||
#define XENTIMER_QUALITY 950 | #define XENTIMER_QUALITY 950 | ||||
struct xentimer_pcpu_data { | struct xentimer_pcpu_data { | ||||
uint64_t timer; | uint64_t timer; | ||||
uint64_t last_processed; | uint64_t last_processed; | ||||
void *irq_handle; | void *irq_handle; | ||||
}; | }; | ||||
DPCPU_DEFINE(struct xentimer_pcpu_data, xentimer_pcpu); | DPCPU_GLOBAL_DEFINE(struct xentimer_pcpu_data, xentimer_pcpu); | ||||
DPCPU_DECLARE(struct vcpu_info *, vcpu_info); | DPCPU_DECLARE(struct vcpu_info *, vcpu_info); | ||||
struct xentimer_softc { | struct xentimer_softc { | ||||
device_t dev; | device_t dev; | ||||
struct timecounter tc; | struct timecounter tc; | ||||
struct eventtimer et; | struct eventtimer et; | ||||
}; | }; | ||||
▲ Show 20 Lines • Show All 456 Lines • Show Last 20 Lines |