sys/arm64/vmm/arm64.h

276

struct vtimer_cpu vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

101

if (hypctx->vtimer_cpu.virt_timer.cntx_cval_el0 < cntpct_el0)

sys/arm64/vmm/io/vtimer.c

105

cntv_ctl = hypctx->vtimer_cpu.virt_timer.cntx_ctl_el0;

sys/arm64/vmm/io/vtimer.c

138

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

141

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

148

vtimer_cpu->phys_timer.cntx_ctl_el0 = CNTP_CTL_IMASK & ~CNTP_CTL_ENABLE;

sys/arm64/vmm/io/vtimer.c

150

mtx_init(&vtimer_cpu->phys_timer.mtx, "vtimer phys callout mutex", NULL,

sys/arm64/vmm/io/vtimer.c

152

callout_init_mtx(&vtimer_cpu->phys_timer.callout,

sys/arm64/vmm/io/vtimer.c

153

&vtimer_cpu->phys_timer.mtx, 0);

sys/arm64/vmm/io/vtimer.c

154

vtimer_cpu->phys_timer.irqid = GT_PHYS_NS_IRQ;

sys/arm64/vmm/io/vtimer.c

156

mtx_init(&vtimer_cpu->virt_timer.mtx, "vtimer virt callout mutex", NULL,

sys/arm64/vmm/io/vtimer.c

158

callout_init_mtx(&vtimer_cpu->virt_timer.callout,

sys/arm64/vmm/io/vtimer.c

159

&vtimer_cpu->virt_timer.mtx, 0);

sys/arm64/vmm/io/vtimer.c

160

vtimer_cpu->virt_timer.irqid = GT_VIRT_IRQ;

sys/arm64/vmm/io/vtimer.c

231

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

233

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

234

callout_drain(&vtimer_cpu->phys_timer.callout);

sys/arm64/vmm/io/vtimer.c

235

callout_drain(&vtimer_cpu->virt_timer.callout);

sys/arm64/vmm/io/vtimer.c

236

mtx_destroy(&vtimer_cpu->phys_timer.mtx);

sys/arm64/vmm/io/vtimer.c

237

mtx_destroy(&vtimer_cpu->virt_timer.mtx);

sys/arm64/vmm/io/vtimer.c

284

vtime_sync_timer(hypctx, &hypctx->vtimer_cpu.virt_timer, cntpct_el0);

sys/arm64/vmm/io/vtimer.c

287

vtime_sync_timer(hypctx, &hypctx->vtimer_cpu.phys_timer,

sys/arm64/vmm/io/vtimer.c

299

hypctx->vtimer_cpu.phys_timer.irqid, true);

sys/arm64/vmm/io/vtimer.c

309

hypctx->vtimer_cpu.virt_timer.irqid, true);

sys/arm64/vmm/io/vtimer.c

321

timer = &hypctx->vtimer_cpu.phys_timer;

sys/arm64/vmm/io/vtimer.c

323

timer = &hypctx->vtimer_cpu.virt_timer;

sys/arm64/vmm/io/vtimer.c

345

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

348

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

349

timer = &vtimer_cpu->phys_timer;

sys/arm64/vmm/io/vtimer.c

376

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

380

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

383

if (vtimer_cpu->phys_timer.cntx_cval_el0 < cntpct_el0)

sys/arm64/vmm/io/vtimer.c

385

*rval = vtimer_cpu->phys_timer.cntx_ctl_el0 | CNTP_CTL_ISTATUS;

sys/arm64/vmm/io/vtimer.c

387

*rval = vtimer_cpu->phys_timer.cntx_ctl_el0 & ~CNTP_CTL_ISTATUS;

sys/arm64/vmm/io/vtimer.c

396

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

401

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

404

ctl_el0 = vtimer_cpu->phys_timer.cntx_ctl_el0;

sys/arm64/vmm/io/vtimer.c

411

vtimer_cpu->phys_timer.cntx_ctl_el0 = wval;

sys/arm64/vmm/io/vtimer.c

439

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

442

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

444

*rval = vtimer_cpu->phys_timer.cntx_cval_el0;

sys/arm64/vmm/io/vtimer.c

453

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

456

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

458

vtimer_cpu->phys_timer.cntx_cval_el0 = wval;

sys/arm64/vmm/io/vtimer.c

461

if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {

sys/arm64/vmm/io/vtimer.c

472

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

476

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

478

if (!(vtimer_cpu->phys_timer.cntx_ctl_el0 & CNTP_CTL_ENABLE)) {

sys/arm64/vmm/io/vtimer.c

489

*rval = vtimer_cpu->phys_timer.cntx_cval_el0 - cntpct_el0;

sys/arm64/vmm/io/vtimer.c

499

struct vtimer_cpu *vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

503

vtimer_cpu = &hypctx->vtimer_cpu;

sys/arm64/vmm/io/vtimer.c

506

vtimer_cpu->phys_timer.cntx_cval_el0 = (int32_t)wval + cntpct_el0;

sys/arm64/vmm/io/vtimer.c

509

if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {

sys/arm64/vmm/vmm_hyp.c

241

hypctx->vtimer_cpu.cntkctl_el1 =

sys/arm64/vmm/vmm_hyp.c

243

hypctx->vtimer_cpu.virt_timer.cntx_cval_el0 =

sys/arm64/vmm/vmm_hyp.c

245

hypctx->vtimer_cpu.virt_timer.cntx_ctl_el0 =

sys/arm64/vmm/vmm_hyp.c

248

hypctx->vtimer_cpu.cntkctl_el1 =

sys/arm64/vmm/vmm_hyp.c

265

hypctx->vtimer_cpu.phys_timer.cntx_cval_el0 =

sys/arm64/vmm/vmm_hyp.c

267

hypctx->vtimer_cpu.phys_timer.cntx_ctl_el0 =

sys/arm64/vmm/vmm_hyp.c

601

hypctx->vtimer_cpu.cntkctl_el1);

sys/arm64/vmm/vmm_hyp.c

603

hypctx->vtimer_cpu.virt_timer.cntx_cval_el0);

sys/arm64/vmm/vmm_hyp.c

605

hypctx->vtimer_cpu.virt_timer.cntx_ctl_el0);

sys/arm64/vmm/vmm_hyp.c

617

WRITE_SPECIALREG(cntkctl_el1, hypctx->vtimer_cpu.cntkctl_el1);

sys/arm64/vmm/vmm_hyp.c

626

hypctx->vtimer_cpu.phys_timer.cntx_cval_el0);

sys/arm64/vmm/vmm_hyp.c

628

hypctx->vtimer_cpu.phys_timer.cntx_ctl_el0);