x86/hypervisor/vcpu.cpp

97     : vmcs_address_(vmcs_address) {
100     __UNUSED zx_status_t status = vmptrld(vmcs_address_);
111     vmcs_address_ = 0;
116     DEBUG_ASSERT(vmcs_address_ != 0);
142     DEBUG_ASSERT(vmcs_address_ != 0);
162     DEBUG_ASSERT(vmcs_address_ != 0);
167     DEBUG_ASSERT(vmcs_address_ != 0);
172     DEBUG_ASSERT(vmcs_address_ != 0);
177     DEBUG_ASSERT(vmcs_address_ != 0);
182     DEBUG_ASSERT(vmcs_address_ != 0);
187     DEBUG_ASSERT(vmcs_address_ != 0);
192     DEBUG_ASSERT(vmcs_address_ != 0);
197     DEBUG_ASSERT(vmcs_address_ != 0);
203     DEBUG_ASSERT(vmcs_address_ != 0);