On 10.09.2024 06:46, Stefano Stabellini wrote: > On Mon, 9 Sep 2024, Jan Beulich wrote: >> On 07.09.2024 15:03, Nicola Vetrini wrote: >>> + * - R18.2 >>> + - Subtraction between pointers encapsulated by macro page_to_mfn >>> + are safe. >>> + - Tagged as `safe` for ECLAIR. >> >> This one is a result of using frame_table[], aiui. Alternative approaches >> were discussed before. Did that not lead anywhere, requiring a purely >> textual / configurational deviation? > > During the last MISRA discussion we agree that this was an acceptable > approach. What else did you have in mind?
One was to have the linker scripts provide the symbol. I think there were one or two more, yet I - perhaps wrongly - haven't been taking notes ... > In any case, keep in mind that > exploring options is a task in itself and we could use our efforts on > reducing the numbers of violations instead which I think is more useful. Sure. Otoh quickest is not always best. Jan
