Home
last modified time | relevance | path

Searched refs:tsc_aux (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/guest/
A Dtrusty.c152 ext_ctx->tsc_aux = msr_read(MSR_IA32_TSC_AUX); in save_world_ctx()
205 msr_write(MSR_IA32_TSC_AUX, ext_ctx->tsc_aux); in load_world_ctx()
A Dvcpu.c476 ectx->tsc_aux = 0UL; in reset_vcpu_regs()
935 ectx->tsc_aux = msr_read(MSR_IA32_TSC_AUX); in context_switch_out()
953 msr_write(MSR_IA32_TSC_AUX, ectx->tsc_aux); in context_switch_in()
/hypervisor/include/arch/x86/asm/
A Dcpu.h415 uint64_t tsc_aux; member

Completed in 9 milliseconds