VMCS_EXCEPTION_BITMAP
error += vmwrite(VMCS_EXCEPTION_BITMAP, exc_bitmap);
reg = VMCS_EXCEPTION_BITMAP;
error = vm_get_vmcs_field(vcpu, VMCS_EXCEPTION_BITMAP,