Searched refs:vvmcx_valid (Results 1 – 3 of 3) sorted by relevance
96 static inline bool vvmcx_valid(const struct vcpu *v) in vvmcx_valid() function
489 ASSERT(vvmcx_valid(v)); in vmfail_valid()500 ASSERT(!vvmcx_valid(v)); in vmfail_invalid()510 if ( vvmcx_valid(current) && errno != VMX_INSN_FAIL_INVALID ) in vmfail()850 if ( vvmcx_valid(v) ) in nvmx_purge_vvmcs()1666 ASSERT(vvmcx_valid(v)); in nvmx_vmresume()1698 if ( !vvmcx_valid(v) ) in nvmx_handle_vmresume()1734 if ( !vvmcx_valid(v) ) in nvmx_handle_vmlaunch()1796 if ( !vvmcx_valid(v) ) in nvmx_handle_vmptrld()1945 if ( !vvmcx_valid(v) ) in nvmx_handle_vmread()1988 if ( !vvmcx_valid(v) ) in nvmx_handle_vmwrite()
71 ASSERT(vvmcx_valid(v)); in nestedsvm_vmcb_map()
Completed in 18 milliseconds