From cdf9d6b3a611d2371339fcbec96925ea5ebae1db Mon Sep 17 00:00:00 2001
From: Gary <gordon.king@intel.com>
Date: Thu, 19 Dec 2019 11:03:04 -0800
Subject: [PATCH] devicemodel: refactor CMD_OPT_LAPIC_PT case branch

    This patch refactors the CMD_OPT_LAPIC_PT case branch
    to explicity add the dependency of option RTVM at the
    same branch, it is decoupled from the next case branch
    to comply with strict code standard and improve the
    code readability.

Tracked-On: #4283
Signed-off-by: Gary <gordon.king@intel.com>
---
 devicemodel/core/main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/devicemodel/core/main.c b/devicemodel/core/main.c
index bd65beaac..41bd11710 100644
--- a/devicemodel/core/main.c
+++ b/devicemodel/core/main.c
@@ -907,6 +907,8 @@ main(int argc, char *argv[])
 			break;
 		case CMD_OPT_LAPIC_PT:
 			lapic_pt = true;
+			is_rtvm = true;
+			break;
 		case CMD_OPT_RTVM:
 			is_rtvm = true;
 			break;