> This happens because 'pte' is a 'target_ulong' type that, for riscv32, will be
> interpreted as uint32_t while the FMT being used is PRIx64.
>
> You can fix it by using TARGET_FMT_lx instead of PRIx64:
>

I've sent a follow-up patch fixing these build errors, it builds on 32 & 64 bit 
on my system. Cheers 

As for the Signed-off-by, I'd rather not, and the contributing guide does not 
require it.

Regards,
Julia

Reply via email to