diff --git a/hypervisor/arch/x86/guest/vcpu.c b/hypervisor/arch/x86/guest/vcpu.c
index 0056bbe83..a31f80bdf 100644
--- a/hypervisor/arch/x86/guest/vcpu.c
+++ b/hypervisor/arch/x86/guest/vcpu.c
@@ -890,7 +890,7 @@ void vcpu_handle_pi_notification(uint32_t vcpu_index)
 
 	ASSERT(vcpu_index < CONFIG_MAX_VM_NUM, "");
 
-	if ((vcpu != NULL) && is_pi_capable(vcpu->vm)) {
+	if (vcpu != NULL) {
 		struct pi_desc *pid = get_pi_desc(vcpu);
 
 		if (bitmap_test(POSTED_INTR_ON, &(pid->control.value))) {