Symbol: vmx_check_ctls
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3265
vmx_check_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls, uint64_t set_one)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3265
vmx_check_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls, uint64_t set_one)