Hello,

> Sorry for the late reply! Yes, the proposed change is correct. Thanks
> a lot for catching this bug!

Thanks for confirming.

Attached is the patch I ended up pushing.

gdb/gdbserver/ChangeLog:

        * i387-fp.c (i387_cache_to_xsave): In look over
        num_avx512_zmmh_high_registers, replace use of struct i387_xsave
        zmmh_low_space field by use of zmmh_high_space.

Tested on x86_64-linux, using boards/native-gdbserver.exp.

-- 
Joel