On Apr 03 2019, Thomas Koenig <tkoe...@netcologne.de> wrote: > Well, nothing is going to write to it (this is not accessible by > user code), so that should not be a problem.
Then don't make it read-only. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."