|
@@ -84,4 +84,19 @@ static inline u64 kvm_read_edx_eax(struct kvm_vcpu *vcpu)
|
|
|
| ((u64)(kvm_register_read(vcpu, VCPU_REGS_RDX) & -1u) << 32);
|
|
|
}
|
|
|
|
|
|
+static inline void enter_guest_mode(struct kvm_vcpu *vcpu)
|
|
|
+{
|
|
|
+ vcpu->arch.hflags |= HF_GUEST_MASK;
|
|
|
+}
|
|
|
+
|
|
|
+static inline void leave_guest_mode(struct kvm_vcpu *vcpu)
|
|
|
+{
|
|
|
+ vcpu->arch.hflags &= ~HF_GUEST_MASK;
|
|
|
+}
|
|
|
+
|
|
|
+static inline bool is_guest_mode(struct kvm_vcpu *vcpu)
|
|
|
+{
|
|
|
+ return vcpu->arch.hflags & HF_GUEST_MASK;
|
|
|
+}
|
|
|
+
|
|
|
#endif
|