1 files changed, 27 insertions, 0 deletions
diff --git a/kernel/constids.inc b/kernel/constids.inc
new file mode 100644
index 000000000..18be12229
--- /dev/null
+++ b/kernel/constids.inc
@@ -0,0 +1,27 @@
+X(A)
+X(B)
+X(S)
+X(Y)
+X(keep)
+X(src)
+X(whitebox)
+X(blackbox)
+X(allconst)
+X(allseq)
+X(anyconst)
+X(anyseq)
+X(defaultvalue)
+X(fsm_encoding)
+X(full_case)
+X(gclk)
+X(initial_top)
+X(is_interface)
+X(mem2reg)
+X(noblackbox)
+X(nolatches)
+X(nomem2reg)
+X(nosync)
+X(parallel_case)
+X(top)
+X(wand)
+X(wor)