On Wed, 15 May 2024, Nicola Vetrini wrote:
> These rules are concerned with the use of facilities provided by the
> C Standard Library (qsort, bsearch for rule 21.9, and those provided
> by for rule 21.10).
>
> Xen provides in its source code its own implementation of some of these
> functions
These rules are concerned with the use of facilities provided by the
C Standard Library (qsort, bsearch for rule 21.9, and those provided
by for rule 21.10).
Xen provides in its source code its own implementation of some of these
functions and macros, therefore a justification is provided for
