Re: [XEN PATCH][for-4.19 v5 2/8] x86: add deviation for asm-only functions

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Mon, 30 Oct 2023, Nicola Vetrini wrote:
> As stated in rules.rst, functions used only in asm modules
> are allowed to have no prior declaration visible when being
> defined, hence these functions are marked with an
> 'asmlinkage' macro, which is then deviated for MISRA C:2012
> Rule 8.4.
> 
> 'current_stack_pointer' in x86/asm_defns is a declaration, not a definition,
> and is thus marked as safe for ECLAIR.
> 
> Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>

Just wanted to say that this patch looks OK and I don't have any further
coments on top of Jan's