Searched refs:cntkctl_el1 (Results 1 – 1 of 1) sorted by relevance
52 hypctx->vtimer_cpu.cntkctl_el1 = in vmm_hyp_reg_store()445 hypctx->vtimer_cpu.cntkctl_el1); in vmm_hyp_reg_restore()504 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local513 cntkctl_el1 = READ_SPECIALREG(cntkctl_el1); in vmm_hyp_call_guest()592 WRITE_SPECIALREG(cntkctl_el1, cntkctl_el1); in vmm_hyp_call_guest()