Home
last modified time | relevance | path

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

/hypervisor/arch/x86/guest/
A Dtrusty.c151 ext_ctx->ia32_kernel_gs_base = msr_read(MSR_IA32_KERNEL_GS_BASE); in save_world_ctx()
204 msr_write(MSR_IA32_KERNEL_GS_BASE, ext_ctx->ia32_kernel_gs_base); in load_world_ctx()
A Dvcpu.c934 ectx->ia32_kernel_gs_base = msr_read(MSR_IA32_KERNEL_GS_BASE); in context_switch_out()
952 msr_write(MSR_IA32_KERNEL_GS_BASE, ectx->ia32_kernel_gs_base); in context_switch_in()
/hypervisor/include/arch/x86/asm/
A Dcpu.h405 uint64_t ia32_kernel_gs_base; member

Completed in 7 milliseconds