Lines Matching refs:result
196 int result;
216 result = VMX_FAIL_INVALID; /* Not supported in legacy mode */
219 result = __vmxon(vmxon_region_paddr);
221 if (result != VMX_SUCCEED) {
222 panic("vmx_on: unexpected return %d from __vmxon()", result);
233 int result;
238 result = VMX_FAIL_INVALID; /* Not supported in legacy mode */
241 result = __vmxoff();
243 if (result != VMX_SUCCEED) {
244 panic("vmx_off: unexpected return %d from __vmxoff()", result);