diff options
Diffstat (limited to 'include/rv/da_monitor.h')
| -rw-r--r-- | include/rv/da_monitor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/rv/da_monitor.h b/include/rv/da_monitor.h index db57a8a704f9..e3cf85c9ce55 100644 --- a/include/rv/da_monitor.h +++ b/include/rv/da_monitor.h @@ -16,6 +16,7 @@ #include <rv/automata.h> #include <linux/rv.h> +#include <rv/kunit.h> #include <linux/stringify.h> #include <linux/bug.h> #include <linux/sched.h> |