[PATCH 2/6] lib: sbi: sse: Fix format string for event invalid state

[Andrew Jones <ajones@ventanamicro.com>]

On Mon, Mar 17, 2025 at 11:54:20AM +0100, Cl?ment L?ger wrote:
> Add a missing newline and modify the display value of the event id to
> use hex representation.
> 
> Signed-off-by: Cl?ment L?ger <cleger@rivosinc.com>
> ---
>  lib/sbi/sbi_sse.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/lib/sbi/sbi_sse.c b/lib/sbi/sbi_sse.c
> index 4722ddc4..a30fad54 100644
> --- a/lib/sbi/sbi_sse.c
> +++ b/lib/sbi/sbi_sse.c
> @@ -1268,7 +1268,7 @@ void sbi_sse_exit(struct sbi_scratch *scratch)
>  			goto skip;
>  
>  		if (sse_event_state(e) > SBI_SSE_STATE_REGISTERED) {
> -			sbi_printf("Event %d in invalid state at exit",
> +			sbi_printf("Event 0x%x in invalid state at exit\n",
>  				   info->event_id);
>  			sse_event_set_state(e, SBI_SSE_STATE_UNUSED);
>  		}
> -- 
> 2.47.2
>

I'm not sure we want the print statement, but if we do, then

Reviewed-by: Andrew Jones <ajones@ventanamicro.com>