Symbol: vmx_init_ctls
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
3294
vmx_init_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls,
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
3294
vmx_init_ctls(uint64_t msr_ctls, uint64_t msr_true_ctls,