diff --git a/src/jailhouse/driver/uio_ivshmem.c b/src/jailhouse/driver/uio_ivshmem.c
index fe582d6b516c605aca21c18e9a703b0578bc5483..a3109abec0eac7c35dc2f75512ea85f930cf5ed7 100644
--- a/src/jailhouse/driver/uio_ivshmem.c
+++ b/src/jailhouse/driver/uio_ivshmem.c
@@ -26,6 +26,8 @@
 #define IVSHM_CFG_OUTPUT_SECTION_SZ     0x10
 #define IVSHM_CFG_ADDRESS               0x18
 
+#define PCI_DEVICE_ID_IVSHMEM          0x4106
+
 struct ivshm_regs {
          u32 id;
          u32 max_peers;