VMX_GUEST_IA32_DEBUGCTL_FULL (reference) in projects: hypervisor

Searched refs:VMX_GUEST_IA32_DEBUGCTL_FULL (Results 1 – 5 of 5) sorted by relevance

/hypervisor/arch/x86/guest/
A D	trusty.c	`119 ext_ctx->ia32_debugctl = exec_vmread64(VMX_GUEST_IA32_DEBUGCTL_FULL); in save_world_ctx() 181 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, ext_ctx->ia32_debugctl); in load_world_ctx()`
A D	vmcs.c	`66 exec_vmwrite(VMX_GUEST_IA32_DEBUGCTL_FULL, 0UL); in init_guest_vmx()`
A D	nested.c	`286 VMX_GUEST_IA32_DEBUGCTL_FULL, 1346 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, 0UL); in set_vmcs01_guest_state()`
/hypervisor/include/arch/x86/asm/
A D	vmx.h	`87 #define VMX_GUEST_IA32_DEBUGCTL_FULL 0x00002802U macro`
/hypervisor/debug/
A D	profiling.c	`144 = exec_vmread64(VMX_GUEST_IA32_DEBUGCTL_FULL); in profiling_enable_pmu() 145 exec_vmwrite64(VMX_GUEST_IA32_DEBUGCTL_FULL, in profiling_enable_pmu()`

Completed in 12 milliseconds