diff --git a/hypervisor/arch/x86/guest/vcpu.c b/hypervisor/arch/x86/guest/vcpu.c
index 14ff0d5e3..c77876040 100644
--- a/hypervisor/arch/x86/guest/vcpu.c
+++ b/hypervisor/arch/x86/guest/vcpu.c
@@ -258,15 +258,6 @@ void reset_vcpu(struct vcpu *vcpu)
 	vlapic_init(vlapic);
 }
 
-void init_vcpu(struct vcpu *vcpu)
-{
-	if (is_vcpu_bsp(vcpu))
-		vcpu->arch_vcpu.cpu_mode = CPU_MODE_64BIT;
-	else
-		vcpu->arch_vcpu.cpu_mode = CPU_MODE_REAL;
-	/* init_vmcs is delayed to vcpu vmcs launch first time */
-}
-
 void pause_vcpu(struct vcpu *vcpu, enum vcpu_state new_state)
 {
 	int pcpu_id = get_cpu_id();
diff --git a/hypervisor/include/arch/x86/guest/vcpu.h b/hypervisor/include/arch/x86/guest/vcpu.h
index a3ae03f7a..fb2759215 100644
--- a/hypervisor/include/arch/x86/guest/vcpu.h
+++ b/hypervisor/include/arch/x86/guest/vcpu.h
@@ -282,7 +282,6 @@ int shutdown_vcpu(struct vcpu *vcpu);
 int destroy_vcpu(struct vcpu *vcpu);
 
 void reset_vcpu(struct vcpu *vcpu);
-void init_vcpu(struct vcpu *vcpu);
 void pause_vcpu(struct vcpu *vcpu, enum vcpu_state new_state);
 void resume_vcpu(struct vcpu *vcpu);
 void schedule_vcpu(struct vcpu *vcpu);