Searched refs:exit_ctls (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c245 uint32_t exit_ctls; local
250 exit_ctls = IA32_VMX_TRUE_EXIT_CTLS_MSR;
255 exit_ctls = IA32_VMX_EXIT_CTLS_MSR;
264 exit_control_high = x86_rdmsr_low(exit_ctls);
265 exit_control_low = x86_rdmsr_high(exit_ctls);
337 uint32_t exit_ctls; local
342 exit_ctls = IA32_VMX_TRUE_EXIT_CTLS_MSR;
347 exit_ctls = IA32_VMX_EXIT_CTLS_MSR;
356 uint32_t local_exit_control_high = x86_rdmsr_low(exit_ctls);
357 uint32_t local_exit_control_low = x86_rdmsr_high(exit_ctls);
[all...]

Completed in 29 milliseconds