Home
last modified time | relevance | path

Searched refs:ia32_debugctl (Results 1 – 2 of 2) sorted by relevance

/hypervisor/arch/x86/guest/
A Dtrusty.c119 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()
/hypervisor/include/arch/x86/asm/
A Dcpu.h411 uint64_t ia32_debugctl; member

Completed in 7 milliseconds