Index: VirtualBox-5.1.22/src/VBox/Runtime/r0drv/linux/waitqueue-r0drv-linux.h
===================================================================
--- VirtualBox-5.1.22.orig/src/VBox/Runtime/r0drv/linux/waitqueue-r0drv-linux.h
+++ VirtualBox-5.1.22/src/VBox/Runtime/r0drv/linux/waitqueue-r0drv-linux.h
@@ -39,6 +39,9 @@
  *  schedule_hrtimeout_range. */
 #define RTR0SEMLNXWAIT_RESOLUTION   50000
 
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(4, 13, 0)
+#define wait_queue_t wait_queue_entry_t
+#endif
 
 /**
  * Kernel mode Linux wait state structure.