Symbol: vmx_vmwrite
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
127
vmx_vmwrite(uint64_t field, uint64_t value)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
127
vmx_vmwrite(uint64_t field, uint64_t value)