diff --git a/hypervisor/arch/x86/guest/guest_memory.c b/hypervisor/arch/x86/guest/guest_memory.c
index 5dc75e8bc..5b39fa4e5 100644
--- a/hypervisor/arch/x86/guest/guest_memory.c
+++ b/hypervisor/arch/x86/guest/guest_memory.c
@@ -8,7 +8,7 @@
 #include <errno.h>
 #include <asm/vmx.h>
 #include <asm/guest/guest_memory.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/vmcs.h>
 #include <asm/mmu.h>
diff --git a/hypervisor/arch/x86/guest/instr_emul.c b/hypervisor/arch/x86/guest/instr_emul.c
index f4b616304..1bdfc5235 100644
--- a/hypervisor/arch/x86/guest/instr_emul.c
+++ b/hypervisor/arch/x86/guest/instr_emul.c
@@ -2258,7 +2258,7 @@ static int32_t local_decode_instruction(enum vm_cpu_mode cpu_mode,
 static int32_t instr_check_di(struct acrn_vcpu *vcpu)
 {
 	int32_t ret;
-	struct instr_emul_vie *vie = &vcpu->inst_ctxt.vie;
+	struct instr_emul_vie *vie = &vcpu->arch.inst_ctxt.vie;
 	uint64_t gva;
 
 	ret = get_gva_di_check(vcpu, vie, vie->addrsize, &gva);
@@ -2278,7 +2278,7 @@ static int32_t instr_check_gva(struct acrn_vcpu *vcpu, enum vm_cpu_mode cpu_mode
 	uint64_t base, segbase, idx, gva, gpa;
 	uint32_t err_code;
 	enum cpu_reg_name seg;
-	struct instr_emul_vie *vie = &vcpu->inst_ctxt.vie;
+	struct instr_emul_vie *vie = &vcpu->arch.inst_ctxt.vie;
 
 	base = 0UL;
 	if (vie->base_register != CPU_REG_LAST) {
@@ -2371,7 +2371,7 @@ int32_t decode_instruction(struct acrn_vcpu *vcpu, bool full_decode)
 	int32_t retval;
 	enum vm_cpu_mode cpu_mode;
 
-	emul_ctxt = &vcpu->inst_ctxt;
+	emul_ctxt = &vcpu->arch.inst_ctxt;
 	retval = vie_init(&emul_ctxt->vie, vcpu);
 
 	if (retval < 0) {
@@ -2428,7 +2428,7 @@ int32_t decode_instruction(struct acrn_vcpu *vcpu, bool full_decode)
 
 int32_t emulate_instruction(struct acrn_vcpu *vcpu)
 {
-	struct instr_emul_vie *vie = &vcpu->inst_ctxt.vie;
+	struct instr_emul_vie *vie = &vcpu->arch.inst_ctxt.vie;
 	int32_t error;
 
 	if (vie->decoded != 0U) {
@@ -2487,5 +2487,5 @@ int32_t emulate_instruction(struct acrn_vcpu *vcpu)
 
 bool is_current_opcode_xchg(struct acrn_vcpu *vcpu)
 {
-	return (vcpu->inst_ctxt.vie.op.op_type == VIE_OP_TYPE_XCHG);
+	return (vcpu->arch.inst_ctxt.vie.op.op_type == VIE_OP_TYPE_XCHG);
 }
diff --git a/hypervisor/arch/x86/guest/lock_instr_emul.c b/hypervisor/arch/x86/guest/lock_instr_emul.c
index 08aa372ee..c767e401b 100644
--- a/hypervisor/arch/x86/guest/lock_instr_emul.c
+++ b/hypervisor/arch/x86/guest/lock_instr_emul.c
@@ -5,7 +5,7 @@
  */
 
 #include <types.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/virq.h>
 #include <event.h>
diff --git a/hypervisor/arch/x86/guest/nested.c b/hypervisor/arch/x86/guest/nested.c
index 6fb08b7fd..ad536df34 100644
--- a/hypervisor/arch/x86/guest/nested.c
+++ b/hypervisor/arch/x86/guest/nested.c
@@ -9,7 +9,7 @@
 #include <asm/mmu.h>
 #include <asm/guest/virq.h>
 #include <asm/guest/ept.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/vmcs.h>
 #include <asm/guest/nested.h>
@@ -1338,8 +1338,8 @@ static void set_vmcs01_guest_state(struct acrn_vcpu *vcpu)
 		 */
 		exec_vmwrite(VMX_GUEST_CR0, vmcs12->host_cr0);
 		exec_vmwrite(VMX_GUEST_CR4, vmcs12->host_cr4);
-		bitmap_clear_non_atomic(CPU_REG_CR0, &vcpu->reg_cached);
-		bitmap_clear_non_atomic(CPU_REG_CR4, &vcpu->reg_cached);
+		bitmap_clear_non_atomic(CPU_REG_CR0, &vcpu->arch.reg_cached);
+		bitmap_clear_non_atomic(CPU_REG_CR4, &vcpu->arch.reg_cached);
 
 		exec_vmwrite(VMX_GUEST_CR3, vmcs12->host_cr3);
 		exec_vmwrite(VMX_GUEST_DR7, DR7_INIT_VALUE);
@@ -1395,7 +1395,7 @@ static void set_vmcs01_guest_state(struct acrn_vcpu *vcpu)
 	}
 
 	/*
-	 * For those registers that are managed by the vcpu->reg_updated flag,
+	 * For those registers that are managed by the vcpu->arch.reg_updated flag,
 	 * need to write with vcpu_set_xxx() so that vcpu_get_xxx() can get the
 	 * correct values.
 	 */
diff --git a/hypervisor/arch/x86/guest/trusty.c b/hypervisor/arch/x86/guest/trusty.c
index 579452a61..5a52d76fe 100644
--- a/hypervisor/arch/x86/guest/trusty.c
+++ b/hypervisor/arch/x86/guest/trusty.c
@@ -165,12 +165,12 @@ static void load_world_ctx(struct acrn_vcpu *vcpu, const struct ext_context *ext
 	uint32_t i;
 
 	/* mark to update on-demand run_context for efer/rflags/rsp/rip/cr0/cr4 */
-	bitmap_set_non_atomic(CPU_REG_EFER, &vcpu->reg_updated);
-	bitmap_set_non_atomic(CPU_REG_RFLAGS, &vcpu->reg_updated);
-	bitmap_set_non_atomic(CPU_REG_RSP, &vcpu->reg_updated);
-	bitmap_set_non_atomic(CPU_REG_RIP, &vcpu->reg_updated);
-	bitmap_set_non_atomic(CPU_REG_CR0, &vcpu->reg_updated);
-	bitmap_set_non_atomic(CPU_REG_CR4, &vcpu->reg_updated);
+	bitmap_set_non_atomic(CPU_REG_EFER, &vcpu->arch.reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RFLAGS, &vcpu->arch.reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RSP, &vcpu->arch.reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RIP, &vcpu->arch.reg_updated);
+	bitmap_set_non_atomic(CPU_REG_CR0, &vcpu->arch.reg_updated);
+	bitmap_set_non_atomic(CPU_REG_CR4, &vcpu->arch.reg_updated);
 
 	/* VMCS Execution field */
 	exec_vmwrite64(VMX_TSC_OFFSET_FULL, ext_ctx->tsc_offset);
diff --git a/hypervisor/arch/x86/guest/vcat.c b/hypervisor/arch/x86/guest/vcat.c
index 256012ac3..a175d1a47 100644
--- a/hypervisor/arch/x86/guest/vcat.c
+++ b/hypervisor/arch/x86/guest/vcat.c
@@ -14,7 +14,7 @@
 #include <asm/board.h>
 #include <asm/vm_config.h>
 #include <asm/msr.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/vcat.h>
 #include <asm/per_cpu.h>
diff --git a/hypervisor/arch/x86/guest/vcpu.c b/hypervisor/arch/x86/guest/vcpu.c
index e560164f1..894301efa 100755
--- a/hypervisor/arch/x86/guest/vcpu.c
+++ b/hypervisor/arch/x86/guest/vcpu.c
@@ -6,7 +6,7 @@
 
 #include <types.h>
 #include <errno.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/virq.h>
 #include <bits.h>
 #include <asm/vmx.h>
@@ -24,6 +24,46 @@
 #include <asm/irq.h>
 #include <console.h>
 
+bool is_vcpu_bsp(const struct acrn_vcpu *vcpu)
+{
+	return (vcpu->vcpu_id == BSP_CPU_ID);
+}
+
+enum vm_cpu_mode get_vcpu_mode(const struct acrn_vcpu *vcpu)
+{
+	return vcpu->arch.cpu_mode;
+}
+
+/* do not update Guest RIP for next VM Enter */
+void vcpu_retain_rip(struct acrn_vcpu *vcpu)
+{
+	(vcpu)->arch.inst_len = 0U;
+}
+
+struct acrn_vlapic *vcpu_vlapic(struct acrn_vcpu *vcpu)
+{
+	return &(vcpu->arch.vlapic);
+}
+
+/**
+ * @brief Get pointer to PI description.
+ *
+ * @param[in] vcpu Target vCPU
+ *
+ * @return pointer to PI description
+ *
+ * @pre vcpu != NULL
+ */
+struct pi_desc *get_pi_desc(struct acrn_vcpu *vcpu)
+{
+	return &(vcpu->arch.pid);
+}
+
+bool is_lapic_pt_enabled(struct acrn_vcpu *vcpu)
+{
+	return vcpu->arch.lapic_pt_enabled;
+}
+
 uint64_t vcpu_get_gpreg(const struct acrn_vcpu *vcpu, uint32_t reg)
 {
 	const struct run_context *ctx =
@@ -45,8 +85,8 @@ uint64_t vcpu_get_rip(struct acrn_vcpu *vcpu)
 	struct run_context *ctx =
 		&vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
-	if (!bitmap_test(CPU_REG_RIP, &vcpu->reg_updated) &&
-		!bitmap_test_and_set_non_atomic(CPU_REG_RIP, &vcpu->reg_cached)) {
+	if (!bitmap_test(CPU_REG_RIP, &vcpu->arch.reg_updated) &&
+		!bitmap_test_and_set_non_atomic(CPU_REG_RIP, &vcpu->arch.reg_cached)) {
 		ctx->rip = exec_vmread(VMX_GUEST_RIP);
 	}
 	return ctx->rip;
@@ -55,7 +95,7 @@ uint64_t vcpu_get_rip(struct acrn_vcpu *vcpu)
 void vcpu_set_rip(struct acrn_vcpu *vcpu, uint64_t val)
 {
 	vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx.rip = val;
-	bitmap_set_non_atomic(CPU_REG_RIP, &vcpu->reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RIP, &vcpu->arch.reg_updated);
 }
 
 uint64_t vcpu_get_rsp(const struct acrn_vcpu *vcpu)
@@ -72,7 +112,7 @@ void vcpu_set_rsp(struct acrn_vcpu *vcpu, uint64_t val)
 		&vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
 	ctx->cpu_regs.regs.rsp = val;
-	bitmap_set_non_atomic(CPU_REG_RSP, &vcpu->reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RSP, &vcpu->arch.reg_updated);
 }
 
 uint64_t vcpu_get_efer(struct acrn_vcpu *vcpu)
@@ -97,7 +137,7 @@ void vcpu_set_efer(struct acrn_vcpu *vcpu, uint64_t val)
 	}
 
 	/* Write the new value to VMCS in either case */
-	bitmap_set_non_atomic(CPU_REG_EFER, &vcpu->reg_updated);
+	bitmap_set_non_atomic(CPU_REG_EFER, &vcpu->arch.reg_updated);
 }
 
 uint64_t vcpu_get_rflags(struct acrn_vcpu *vcpu)
@@ -105,8 +145,8 @@ uint64_t vcpu_get_rflags(struct acrn_vcpu *vcpu)
 	struct run_context *ctx =
 		&vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
-	if (!bitmap_test(CPU_REG_RFLAGS, &vcpu->reg_updated) &&
-		!bitmap_test_and_set_non_atomic(CPU_REG_RFLAGS, &vcpu->reg_cached) && vcpu->launched) {
+	if (!bitmap_test(CPU_REG_RFLAGS, &vcpu->arch.reg_updated) &&
+		!bitmap_test_and_set_non_atomic(CPU_REG_RFLAGS, &vcpu->arch.reg_cached) && vcpu->launched) {
 		ctx->rflags = exec_vmread(VMX_GUEST_RFLAGS);
 	}
 	return ctx->rflags;
@@ -116,7 +156,7 @@ void vcpu_set_rflags(struct acrn_vcpu *vcpu, uint64_t val)
 {
 	vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx.rflags =
 		val;
-	bitmap_set_non_atomic(CPU_REG_RFLAGS, &vcpu->reg_updated);
+	bitmap_set_non_atomic(CPU_REG_RFLAGS, &vcpu->arch.reg_updated);
 }
 
 uint64_t vcpu_get_guest_msr(const struct acrn_vcpu *vcpu, uint32_t msr)
@@ -647,16 +687,16 @@ static void write_cached_registers(struct acrn_vcpu *vcpu)
 	struct run_context *ctx =
 		&vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_RIP, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_RIP, &vcpu->arch.reg_updated)) {
 		exec_vmwrite(VMX_GUEST_RIP, ctx->rip);
 	}
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_RSP, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_RSP, &vcpu->arch.reg_updated)) {
 		exec_vmwrite(VMX_GUEST_RSP, ctx->cpu_regs.regs.rsp);
 	}
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_EFER, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_EFER, &vcpu->arch.reg_updated)) {
 		exec_vmwrite64(VMX_GUEST_IA32_EFER_FULL, ctx->ia32_efer);
 	}
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_RFLAGS, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_RFLAGS, &vcpu->arch.reg_updated)) {
 		exec_vmwrite(VMX_GUEST_RFLAGS, ctx->rflags);
 	}
 
@@ -665,11 +705,11 @@ static void write_cached_registers(struct acrn_vcpu *vcpu)
 	 * switching. There should no other module request updating
 	 * CR0/CR4 here.
 	 */
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_CR0, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_CR0, &vcpu->arch.reg_updated)) {
 		vcpu_set_cr0(vcpu, ctx->cr0);
 	}
 
-	if (bitmap_test_and_clear_non_atomic(CPU_REG_CR4, &vcpu->reg_updated)) {
+	if (bitmap_test_and_clear_non_atomic(CPU_REG_CR4, &vcpu->arch.reg_updated)) {
 		vcpu_set_cr4(vcpu, ctx->cr4);
 	}
 }
@@ -686,7 +726,7 @@ int32_t run_vcpu(struct acrn_vcpu *vcpu)
 	int32_t status = 0;
 	int32_t ibrs_type = get_ibrs_type();
 
-	if (vcpu->reg_updated != 0UL) {
+	if (vcpu->arch.reg_updated != 0UL) {
 		write_cached_registers(vcpu);
 	}
 
@@ -765,7 +805,7 @@ int32_t run_vcpu(struct acrn_vcpu *vcpu)
 		set_vcpu_mode(vcpu, cs_attr, ia32_efer, cr0);
 	}
 
-	vcpu->reg_cached = 0UL;
+	vcpu->arch.reg_cached = 0UL;
 
 	/* Obtain current VCPU instruction length */
 	vcpu->arch.inst_len = exec_vmread32(VMX_EXIT_INSTR_LEN);
diff --git a/hypervisor/arch/x86/guest/vcpuid.c b/hypervisor/arch/x86/guest/vcpuid.c
index 8b988c4c3..136714241 100644
--- a/hypervisor/arch/x86/guest/vcpuid.c
+++ b/hypervisor/arch/x86/guest/vcpuid.c
@@ -7,7 +7,7 @@
 #include <types.h>
 #include <errno.h>
 #include <bits.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/cpuid.h>
 #include <asm/cpufeatures.h>
diff --git a/hypervisor/arch/x86/guest/vept.c b/hypervisor/arch/x86/guest/vept.c
index b4bc587a0..35c617dee 100644
--- a/hypervisor/arch/x86/guest/vept.c
+++ b/hypervisor/arch/x86/guest/vept.c
@@ -7,7 +7,7 @@
 #include <types.h>
 #include <logmsg.h>
 #include <asm/mmu.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/vmexit.h>
 #include <asm/guest/ept.h>
diff --git a/hypervisor/arch/x86/guest/virq.c b/hypervisor/arch/x86/guest/virq.c
index a17102888..4e27c6ad3 100644
--- a/hypervisor/arch/x86/guest/virq.c
+++ b/hypervisor/arch/x86/guest/virq.c
@@ -11,7 +11,7 @@
 #include <asm/lapic.h>
 #include <asm/mmu.h>
 #include <asm/vmx.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vmcs.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/lock_instr_emul.h>
@@ -130,7 +130,7 @@ static inline bool is_nmi_injectable(void)
 }
 void vcpu_make_request(struct acrn_vcpu *vcpu, uint16_t eventid)
 {
-	bitmap_set(eventid, &vcpu->arch.pending_req);
+	bitmap_set(eventid, &vcpu->pending_req);
 	kick_vcpu(vcpu);
 }
 
@@ -363,7 +363,7 @@ int32_t acrn_handle_pending_request(struct acrn_vcpu *vcpu)
 	bool injected = false;
 	int32_t ret = 0;
 	struct acrn_vcpu_arch *arch = &vcpu->arch;
-	uint64_t *pending_req_bits = &arch->pending_req;
+	uint64_t *pending_req_bits = &vcpu->pending_req;
 
 	if (*pending_req_bits != 0UL) {
 		/* make sure ACRN_REQUEST_INIT_VMCS handler as the first one */
diff --git a/hypervisor/arch/x86/guest/virtual_cr.c b/hypervisor/arch/x86/guest/virtual_cr.c
index b691dc5ce..255ce91f6 100644
--- a/hypervisor/arch/x86/guest/virtual_cr.c
+++ b/hypervisor/arch/x86/guest/virtual_cr.c
@@ -11,7 +11,7 @@
 #include <bits.h>
 #include <asm/guest/virq.h>
 #include <asm/mmu.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/vmx.h>
 #include <asm/vtd.h>
@@ -318,7 +318,7 @@ static void vmx_write_cr0(struct acrn_vcpu *vcpu, uint64_t value)
 			exec_vmwrite(VMX_CR0_READ_SHADOW, effective_cr0);
 
 			/* clear read cache, next time read should from VMCS */
-			bitmap_clear_non_atomic(CPU_REG_CR0, &vcpu->reg_cached);
+			bitmap_clear_non_atomic(CPU_REG_CR0, &vcpu->arch.reg_cached);
 
 			pr_dbg("VMM: Try to write %016lx, allow to write 0x%016lx to CR0", effective_cr0, tmp);
 		}
@@ -420,7 +420,7 @@ static void vmx_write_cr4(struct acrn_vcpu *vcpu, uint64_t cr4)
 			exec_vmwrite(VMX_CR4_READ_SHADOW, cr4);
 
 			/* clear read cache, next time read should from VMCS */
-			bitmap_clear_non_atomic(CPU_REG_CR4, &vcpu->reg_cached);
+			bitmap_clear_non_atomic(CPU_REG_CR4, &vcpu->arch.reg_cached);
 
 			pr_dbg("VMM: Try to write %016lx, allow to write 0x%016lx to CR4", cr4, tmp);
 		}
@@ -521,7 +521,7 @@ uint64_t vcpu_get_cr0(struct acrn_vcpu *vcpu)
 {
 	struct run_context *ctx = &vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
-	if (bitmap_test_and_set_non_atomic(CPU_REG_CR0, &vcpu->reg_cached) == 0) {
+	if (bitmap_test_and_set_non_atomic(CPU_REG_CR0, &vcpu->arch.reg_cached) == 0) {
 		ctx->cr0 = (exec_vmread(VMX_CR0_READ_SHADOW) & ~cr0_passthru_mask) |
 			(exec_vmread(VMX_GUEST_CR0) & cr0_passthru_mask);
 	}
@@ -549,7 +549,7 @@ uint64_t vcpu_get_cr4(struct acrn_vcpu *vcpu)
 {
 	struct run_context *ctx = &vcpu->arch.contexts[vcpu->arch.cur_context].run_ctx;
 
-	if (bitmap_test_and_set_non_atomic(CPU_REG_CR4, &vcpu->reg_cached) == 0) {
+	if (bitmap_test_and_set_non_atomic(CPU_REG_CR4, &vcpu->arch.reg_cached) == 0) {
 		ctx->cr4 = (exec_vmread(VMX_CR4_READ_SHADOW) & ~cr4_passthru_mask) |
 			(exec_vmread(VMX_GUEST_CR4) & cr4_passthru_mask);
 	}
diff --git a/hypervisor/arch/x86/guest/vlapic.c b/hypervisor/arch/x86/guest/vlapic.c
index d9341bddc..63d408024 100644
--- a/hypervisor/arch/x86/guest/vlapic.c
+++ b/hypervisor/arch/x86/guest/vlapic.c
@@ -511,7 +511,7 @@ static void apicv_advanced_accept_intr(struct acrn_vlapic *vlapic, uint32_t vect
 		 *    send PI notification to vCPU and hardware will
 		 *    sync PIR to vIRR automatically.
 		 */
-		bitmap_set(ACRN_REQUEST_EVENT, &vcpu->arch.pending_req);
+		bitmap_set(ACRN_REQUEST_EVENT, &vcpu->pending_req);
 
 		if (get_pcpu_id() != pcpuid_from_vcpu(vcpu)) {
 			apicv_trigger_pi_anv(pcpuid_from_vcpu(vcpu), (uint32_t)vcpu->arch.pid.control.bits.nv);
@@ -2326,7 +2326,7 @@ static bool apicv_basic_has_pending_delivery_intr(struct acrn_vcpu *vcpu)
 		vcpu_make_request(vcpu, ACRN_REQUEST_EVENT);
 	}
 
-	return vcpu->arch.pending_req != 0UL;
+	return vcpu->pending_req != 0UL;
 }
 
 static bool apicv_advanced_has_pending_delivery_intr(__unused struct acrn_vcpu *vcpu)
diff --git a/hypervisor/arch/x86/guest/vmcall.c b/hypervisor/arch/x86/guest/vmcall.c
index c8da4f560..4a7ada459 100644
--- a/hypervisor/arch/x86/guest/vmcall.c
+++ b/hypervisor/arch/x86/guest/vmcall.c
@@ -8,6 +8,7 @@
 #include <errno.h>
 #include <spinlock.h>
 #include <vm.h>
+#include <vcpu.h>
 #include <asm/guest/virq.h>
 #include <asm/guest/optee.h>
 #include <acrn_hv_defs.h>
diff --git a/hypervisor/arch/x86/guest/vmcs.c b/hypervisor/arch/x86/guest/vmcs.c
index b97fef24a..10a4fb5e3 100644
--- a/hypervisor/arch/x86/guest/vmcs.c
+++ b/hypervisor/arch/x86/guest/vmcs.c
@@ -8,7 +8,7 @@
 
 #include <types.h>
 #include <asm/guest/vmcs.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/vmx.h>
 #include <asm/gdt.h>
diff --git a/hypervisor/arch/x86/guest/vmexit.c b/hypervisor/arch/x86/guest/vmexit.c
index b940a5644..51b877488 100644
--- a/hypervisor/arch/x86/guest/vmexit.c
+++ b/hypervisor/arch/x86/guest/vmexit.c
@@ -9,7 +9,7 @@
 #include <asm/vmx.h>
 #include <asm/guest/virq.h>
 #include <asm/mmu.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/vmexit.h>
 #include <asm/guest/vm_reset.h>
@@ -349,7 +349,7 @@ static int32_t pause_vmexit_handler(__unused struct acrn_vcpu *vcpu)
 
 static int32_t hlt_vmexit_handler(struct acrn_vcpu *vcpu)
 {
-	if ((vcpu->arch.pending_req == 0UL) && (!vlapic_has_pending_intr(vcpu))) {
+	if ((vcpu->pending_req == 0UL) && (!vlapic_has_pending_intr(vcpu))) {
 		wait_event(&vcpu->events[VCPU_EVENT_VIRTUAL_INTERRUPT]);
 	}
 	return 0;
diff --git a/hypervisor/arch/x86/guest/vmsr.c b/hypervisor/arch/x86/guest/vmsr.c
index 6f55cd84b..70ed0fb1e 100644
--- a/hypervisor/arch/x86/guest/vmsr.c
+++ b/hypervisor/arch/x86/guest/vmsr.c
@@ -9,7 +9,7 @@
 #include <pgtable.h>
 #include <asm/msr.h>
 #include <asm/cpuid.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/virq.h>
 #include <asm/guest/vm.h>
 #include <asm/vmx.h>
diff --git a/hypervisor/arch/x86/guest/vmtrr.c b/hypervisor/arch/x86/guest/vmtrr.c
index 8f08d88f6..b871a9b26 100644
--- a/hypervisor/arch/x86/guest/vmtrr.c
+++ b/hypervisor/arch/x86/guest/vmtrr.c
@@ -8,7 +8,7 @@
 #include <asm/msr.h>
 #include <asm/pgtable.h>
 #include <asm/guest/ept.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <logmsg.h>
 
diff --git a/hypervisor/arch/x86/guest/vmx_io.c b/hypervisor/arch/x86/guest/vmx_io.c
index 93e3d386e..01a1cae21 100644
--- a/hypervisor/arch/x86/guest/vmx_io.c
+++ b/hypervisor/arch/x86/guest/vmx_io.c
@@ -8,7 +8,7 @@
 #include <errno.h>
 #include <atomic.h>
 #include <io_req.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/vm.h>
 #include <asm/guest/instr_emul.h>
 #include <asm/guest/vmexit.h>
diff --git a/hypervisor/arch/x86/nmi.c b/hypervisor/arch/x86/nmi.c
index e5f8d7358..9f1f9db60 100644
--- a/hypervisor/arch/x86/nmi.c
+++ b/hypervisor/arch/x86/nmi.c
@@ -7,7 +7,7 @@
 #include <asm/irq.h>
 #include <asm/vmx.h>
 
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/guest/virq.h>
 #include <cpu.h>
 
diff --git a/hypervisor/debug/x86/dump.c b/hypervisor/debug/x86/dump.c
index ba2e9b90e..1ecb72555 100644
--- a/hypervisor/debug/x86/dump.c
+++ b/hypervisor/debug/x86/dump.c
@@ -7,7 +7,7 @@
 #include <types.h>
 #include <asm/per_cpu.h>
 #include <asm/mmu.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/vmx.h>
 #include <asm/guest/vm.h>
 #include <asm/init.h>
diff --git a/hypervisor/include/arch/x86/asm/guest/vcpu.h b/hypervisor/include/arch/x86/asm/guest/vcpu.h
index 561450d2e..f7d4e1cb6 100644
--- a/hypervisor/include/arch/x86/asm/guest/vcpu.h
+++ b/hypervisor/include/arch/x86/asm/guest/vcpu.h
@@ -10,8 +10,8 @@
  * @brief public APIs for vcpu operations
  */
 
-#ifndef VCPU_H
-#define VCPU_H
+#ifndef X86_VCPU_H
+#define X86_VCPU_H
 
 
 #ifndef ASSEMBLER
@@ -140,19 +140,6 @@
 #define LDTR_AR                         (0x0082U) /* LDT, type must be 2, refer to SDM Vol3 26.3.1.2 */
 #define TR_AR                           (0x008bU) /* TSS (busy), refer to SDM Vol3 26.3.1.2 */
 
-#define foreach_vcpu(idx, vm, vcpu)				\
-	for ((idx) = 0U, (vcpu) = &((vm)->hw.vcpu_array[(idx)]);	\
-		(idx) < (vm)->hw.created_vcpus;			\
-		(idx)++, (vcpu) = &((vm)->hw.vcpu_array[(idx)])) \
-		if ((vcpu)->state != VCPU_OFFLINE)
-
-enum vcpu_state {
-	VCPU_OFFLINE = 0U,
-	VCPU_INIT,
-	VCPU_RUNNING,
-	VCPU_ZOMBIE,
-};
-
 enum vm_cpu_mode {
 	CPU_MODE_REAL,
 	CPU_MODE_PROTECTED,
@@ -278,13 +265,15 @@ struct acrn_vcpu_arch {
 	uint32_t proc_vm_exec_ctrls;
 	uint32_t inst_len;
 
+	uint64_t reg_cached;
+	uint64_t reg_updated;
+
+	struct instr_emul_ctxt inst_ctxt;
+
 	/* Information related to secondary / AP VCPU start-up */
 	enum vm_cpu_mode cpu_mode;
 	uint8_t nr_sipi;
 
-	/* interrupt injection information */
-	uint64_t pending_req;
-
 	/* List of MSRS to be stored and loaded on VM exits or VM entries */
 	struct msr_store_area msr_area;
 
@@ -302,75 +291,16 @@ struct acrn_vcpu_arch {
 	uint64_t iwkey_copy_status;
 } __aligned(PAGE_SIZE);
 
-struct acrn_vm;
-struct acrn_vcpu {
-	uint8_t stack[CONFIG_STACK_SIZE] __aligned(16);
-
-	/* Architecture specific definitions for this VCPU */
-	struct acrn_vcpu_arch arch;
-	uint16_t vcpu_id;	/* virtual identifier for VCPU */
-	struct acrn_vm *vm;		/* Reference to the VM this VCPU belongs to */
-
-	volatile enum vcpu_state state;	/* State of this VCPU */
-
-	struct thread_object thread_obj;
-	bool launched; /* Whether the vcpu is launched on target pcpu */
-
-	struct instr_emul_ctxt inst_ctxt;
-	struct io_request req; /* used by io/ept emulation */
-
-	uint64_t reg_cached;
-	uint64_t reg_updated;
-
-	struct sched_event events[VCPU_EVENT_NUM];
-} __aligned(PAGE_SIZE);
-
-struct vcpu_dump {
-	struct acrn_vcpu *vcpu;
-	char *str;
-	uint32_t str_max;
-};
-
-struct guest_mem_dump {
-	struct acrn_vcpu *vcpu;
-	uint64_t gva;
-	uint64_t len;
-};
-
-static inline bool is_vcpu_bsp(const struct acrn_vcpu *vcpu)
-{
-	return (vcpu->vcpu_id == BSP_CPU_ID);
-}
-
-static inline enum vm_cpu_mode get_vcpu_mode(const struct acrn_vcpu *vcpu)
-{
-	return vcpu->arch.cpu_mode;
-}
+struct acrn_vcpu;
+enum vcpu_state;
+bool is_vcpu_bsp(const struct acrn_vcpu *vcpu);
+enum vm_cpu_mode get_vcpu_mode(const struct acrn_vcpu *vcpu);
 
 /* do not update Guest RIP for next VM Enter */
-static inline void vcpu_retain_rip(struct acrn_vcpu *vcpu)
-{
-	(vcpu)->arch.inst_len = 0U;
-}
+void vcpu_retain_rip(struct acrn_vcpu *vcpu);
+struct acrn_vlapic *vcpu_vlapic(struct acrn_vcpu *vcpu);
 
-static inline struct acrn_vlapic *vcpu_vlapic(struct acrn_vcpu *vcpu)
-{
-	return &(vcpu->arch.vlapic);
-}
-
-/**
- * @brief Get pointer to PI description.
- *
- * @param[in] vcpu Target vCPU
- *
- * @return pointer to PI description
- *
- * @pre vcpu != NULL
- */
-static inline struct pi_desc *get_pi_desc(struct acrn_vcpu *vcpu)
-{
-	return &(vcpu->arch.pid);
-}
+struct pi_desc *get_pi_desc(struct acrn_vcpu *vcpu);
 
 uint16_t pcpuid_from_vcpu(const struct acrn_vcpu *vcpu);
 void vcpu_thread(struct thread_object *obj);
@@ -720,10 +650,7 @@ uint64_t vcpumask2pcpumask(struct acrn_vm *vm, uint64_t vdmask);
  * @return true, if vCPU LAPIC is in x2APIC mode and VM, vCPU belongs to, is configured for
  *				LAPIC Pass-through
  */
-static inline bool is_lapic_pt_enabled(struct acrn_vcpu *vcpu)
-{
-	return vcpu->arch.lapic_pt_enabled;
-}
+bool is_lapic_pt_enabled(struct acrn_vcpu *vcpu);
 
 /**
  * @brief handle posted interrupts
diff --git a/hypervisor/include/arch/x86/asm/guest/vm.h b/hypervisor/include/arch/x86/asm/guest/vm.h
index 40521c445..cad0aff04 100644
--- a/hypervisor/include/arch/x86/asm/guest/vm.h
+++ b/hypervisor/include/arch/x86/asm/guest/vm.h
@@ -16,7 +16,7 @@
 #include <bits.h>
 #include <spinlock.h>
 #include <asm/pgtable.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <vioapic.h>
 #include <vpic.h>
 #include <asm/guest/vmx_io.h>
diff --git a/hypervisor/include/arch/x86/asm/guest/vmcs.h b/hypervisor/include/arch/x86/asm/guest/vmcs.h
index 7f734954b..4df200b37 100644
--- a/hypervisor/include/arch/x86/asm/guest/vmcs.h
+++ b/hypervisor/include/arch/x86/asm/guest/vmcs.h
@@ -12,7 +12,7 @@
 
 #ifndef ASSEMBLER
 #include <types.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 
 #define VMX_VMENTRY_FAIL                0x80000000U
 
diff --git a/hypervisor/include/common/vcpu.h b/hypervisor/include/common/vcpu.h
new file mode 100644
index 000000000..c9941f50b
--- /dev/null
+++ b/hypervisor/include/common/vcpu.h
@@ -0,0 +1,97 @@
+/*
+ * Copyright (C) 2018-2022 Intel Corporation.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+/**
+ * @file vcpu.h
+ *
+ * @brief public APIs for vcpu operations
+ */
+
+#ifndef VCPU_H
+#define VCPU_H
+
+
+#ifndef ASSEMBLER
+
+#include <types.h>
+#include <asm/page.h>
+#include <schedule.h>
+#include <event.h>
+#include <io_req.h>
+#include <asm/guest/vcpu.h>
+
+/**
+ * @brief vcpu
+ *
+ * @defgroup acrn_vcpu ACRN vcpu
+ * @{
+ */
+
+/*
+ * VCPU related APIs
+ */
+
+#define MAX_VCPU_EVENT_NUM	16
+
+#define foreach_vcpu(idx, vm, vcpu)				\
+	for ((idx) = 0U, (vcpu) = &((vm)->hw.vcpu_array[(idx)]);	\
+		(idx) < (vm)->hw.created_vcpus;			\
+		(idx)++, (vcpu) = &((vm)->hw.vcpu_array[(idx)])) \
+		if ((vcpu)->state != VCPU_OFFLINE)
+
+enum vcpu_state {
+	VCPU_OFFLINE = 0U,
+	VCPU_INIT,
+	VCPU_RUNNING,
+	VCPU_ZOMBIE,
+};
+
+struct acrn_vm;
+struct acrn_vcpu {
+	uint8_t stack[CONFIG_STACK_SIZE] __aligned(16);
+
+	uint16_t vcpu_id;	/* virtual identifier for VCPU */
+	struct acrn_vm *vm;		/* Reference to the VM this VCPU belongs to */
+
+	volatile enum vcpu_state state;	/* State of this VCPU */
+
+	struct thread_object thread_obj;
+	bool launched; /* Whether the vcpu is launched on target pcpu */
+
+	struct io_request req; /* used by io/ept emulation */
+
+	/* pending requests bitmask. Each bit represents one arch-specific request */
+	uint64_t pending_req;
+
+	/* The first half (8) of the events are used for platform-independent
+	 * events, and the latter half for platform-dependent events
+	 */
+	struct sched_event events[MAX_VCPU_EVENT_NUM];
+
+	/* Architecture specific definitions for this VCPU */
+	struct acrn_vcpu_arch arch;
+} __aligned(PAGE_SIZE);
+
+struct vcpu_dump {
+	struct acrn_vcpu *vcpu;
+	char *str;
+	uint32_t str_max;
+};
+
+struct guest_mem_dump {
+	struct acrn_vcpu *vcpu;
+	uint64_t gva;
+	uint64_t len;
+};
+
+/**
+ * @}
+ */
+/* End of acrn_vcpu */
+
+#endif /* ASSEMBLER */
+
+#endif /* VCPU_H */
diff --git a/hypervisor/include/debug/profiling_internal.h b/hypervisor/include/debug/profiling_internal.h
index a0efbc954..dab954333 100644
--- a/hypervisor/include/debug/profiling_internal.h
+++ b/hypervisor/include/debug/profiling_internal.h
@@ -9,7 +9,7 @@
 
 #ifdef PROFILING_ON
 
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/vm_config.h>
 
 #define MAX_MSR_LIST_NUM		15U
diff --git a/misc/hv_prebuild/static_checks.c b/misc/hv_prebuild/static_checks.c
index 91c8abbe7..9843e0a4e 100644
--- a/misc/hv_prebuild/static_checks.c
+++ b/misc/hv_prebuild/static_checks.c
@@ -6,7 +6,7 @@
 
 #include <util.h>
 #include <acrn_common.h>
-#include <asm/guest/vcpu.h>
+#include <vcpu.h>
 #include <asm/mmu.h>
 #include <asm/guest/trusty.h>
 #include <asm/vtd.h>