Hi Julien,
> On 15 Apr 2024, at 12:08, Julien Grall wrote:
>
> Hi Bertrand,
>
> On 15/04/2024 08:48, Bertrand Marquis wrote:
>> Hi Julien,
>>> On 12 Apr 2024, at 19:01, Julien Grall wrote:
>>>
>>>
>>>
>>> On Fri, 12 Apr 2024 at 11:30, Bertrand Marquis
>>> wrote:
>>> Hi Julien,
>>>
O
Hi Bertrand,
On 15/04/2024 08:48, Bertrand Marquis wrote:
Hi Julien,
On 12 Apr 2024, at 19:01, Julien Grall wrote:
On Fri, 12 Apr 2024 at 11:30, Bertrand Marquis wrote:
Hi Julien,
On 12 Apr 2024, at 15:53, Julien Grall wrote:
On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini wrote:
Hi Julien,
> On 12 Apr 2024, at 19:01, Julien Grall wrote:
>
>
>
> On Fri, 12 Apr 2024 at 11:30, Bertrand Marquis
> wrote:
> Hi Julien,
>
> > On 12 Apr 2024, at 15:53, Julien Grall wrote:
> >
> >
> >
> > On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini
> > wrote:
> > On Wed, 10 Apr 20
On Fri, 12 Apr 2024 at 11:30, Bertrand Marquis
wrote:
> Hi Julien,
>
> > On 12 Apr 2024, at 15:53, Julien Grall
> wrote:
> >
> >
> >
> > On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini
> wrote:
> > On Wed, 10 Apr 2024, Julien Grall wrote:
> > > On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini
Hi Julien,
> On 12 Apr 2024, at 15:53, Julien Grall wrote:
>
>
>
> On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini
> wrote:
> On Wed, 10 Apr 2024, Julien Grall wrote:
> > On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini
> > wrote:
> > xen_ulong_t is widely used in public headers.
>
On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini
wrote:
> On Wed, 10 Apr 2024, Julien Grall wrote:
> > On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini <
> stefano.stabell...@amd.com> wrote:
> > xen_ulong_t is widely used in public headers.
> >
> > Signed-off-by: Stefano Stabellini
>
On Wed, 10 Apr 2024, Julien Grall wrote:
> On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini
> wrote:
> xen_ulong_t is widely used in public headers.
>
> Signed-off-by: Stefano Stabellini
> ---
>
> Given that xen_ulong_t is used in public headers there could be a better
On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini
wrote:
> xen_ulong_t is widely used in public headers.
>
> Signed-off-by: Stefano Stabellini
> ---
>
> Given that xen_ulong_t is used in public headers there could be a better
> place for documenting it but this was the most straightforward to add
xen_ulong_t is widely used in public headers.
Signed-off-by: Stefano Stabellini
---
Given that xen_ulong_t is used in public headers there could be a better
place for documenting it but this was the most straightforward to add.
---
docs/misra/C-language-toolchain.rst | 11 +++
1 file ch
