diff options
| author | Alessandro Carminati <acarmina@redhat.com> | 2022-11-22 18:36:48 +0100 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2022-12-20 11:46:40 -0500 |
| commit | bfa87ac86ce9ff879c5ac49bf09c3999859a8968 (patch) | |
| tree | 4209b4aaa97fda374c8eada59031dbeeb7d26488 /tools/verification | |
| parent | eb9d58947d40699d93e5e69e1ddc54e41da7e132 (diff) | |
rv/monitors: Move monitor structure in rodata
It makes sense to move the important monitor structure into rodata to
prevent accidental structure modification.
Link: https://lkml.kernel.org/r/20221122173648.4732-1-acarmina@redhat.com
Signed-off-by: Alessandro Carminati <acarmina@redhat.com>
Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'tools/verification')
| -rw-r--r-- | tools/verification/dot2/dot2c.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/verification/dot2/dot2c.py b/tools/verification/dot2/dot2c.py index be8a364a469b..87d8a1e1470c 100644 --- a/tools/verification/dot2/dot2c.py +++ b/tools/verification/dot2/dot2c.py @@ -111,7 +111,7 @@ class Dot2c(Automata): def format_aut_init_header(self): buff = [] - buff.append("static struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def)) + buff.append("static const struct %s %s = {" % (self.struct_automaton_def, self.var_automaton_def)) return buff def __get_string_vector_per_line_content(self, buff): |