sys/arm64/vmm/io/vtimer.c

556

DEFINE_CLASS_0(vtimer, vtimer_driver, vtimer_methods,

sys/arm64/vmm/io/vtimer.c

559

DRIVER_MODULE(vtimer, generic_timer, vtimer_driver, 0, 0);

sys/arm64/vmm/io/vtimer.c

65

SYSCTL_NODE(_hw_vmm, OID_AUTO, vtimer, CTLFLAG_RW, NULL, NULL);

sys/riscv/vmm/riscv.h

98

struct vtimer vtimer;

sys/riscv/vmm/vmm_vtimer.c

101

struct vtimer *vtimer;

sys/riscv/vmm/vmm_vtimer.c

106

vtimer = &hypctx->vtimer;

sys/riscv/vmm/vmm_vtimer.c

111

time = delta * SBT_1S / vtimer->freq;

sys/riscv/vmm/vmm_vtimer.c

113

callout_reset_sbt(&vtimer->callout, time, 0,

sys/riscv/vmm/vmm_vtimer.c

70

struct vtimer *vtimer;

sys/riscv/vmm/vmm_vtimer.c

74

vtimer = &hypctx->vtimer;

sys/riscv/vmm/vmm_vtimer.c

75

mtx_init(&vtimer->mtx, "vtimer callout mutex", NULL, MTX_DEF);

sys/riscv/vmm/vmm_vtimer.c

76

callout_init_mtx(&vtimer->callout, &vtimer->mtx, 0);

sys/riscv/vmm/vmm_vtimer.c

82

vtimer->freq = freq;