On Sun, 17 May 2026 at 01:34, Richard Henderson <[email protected]> wrote: > > Introduce the special register FPMR and its fields. > Migrate it when present. > > Signed-off-by: Richard Henderson <[email protected]>
Is it worth printing FPMR with FPSR and FPCR in aarch64_cpu_dump_state() ? It would have been helpful to me for debugging this series but maybe it's a bit niche to include in the stock debug output. Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
