diff --git a/src/include/override/sched.h b/src/include/override/sched.h
index 3eed393118..03ded107a5 100644
--- a/src/include/override/sched.h
+++ b/src/include/override/sched.h
@@ -19,6 +19,13 @@
 static_assert(CLONE_NEWTIME == 0x00000080, "");
 #endif
 
+/* Not exposed yet. Defined at include/linux/sched.h */
+#ifndef PF_DUMPCORE
+#  define PF_DUMPCORE 0x00000200
+#else
+static_assert(PF_DUMPCORE == 0x00000200, "");
+#endif
+
 /* Not exposed yet. Defined at include/linux/sched.h */
 #ifndef PF_KTHREAD
 #  define PF_KTHREAD 0x00200000