Home | History | Annotate | Download | only in m_gdbserver

Lines Matching refs:fpsr

106   { "fpsr", 6240, 32 },
220 /* The VEX ARM64 FPSR representation is not the same as the
223 VEX FPSR only models QC (bit 27), and uses a 64 bits to store
224 this FPSR QC bit. So, we need to transfer from/to the lowest
229 UInt fpsr = (UInt)fpsr64;
230 VG_(transfer) (&fpsr, buf, dir, size, mod);
232 UInt fpsr;
234 VG_(transfer) ((UInt*)&fpsr, buf, dir, size, mod);
235 fpsr64 = fpsr;
237 /* resync the cache with the part of fpsr that VEX represents. */
239 fpsr = (UInt)fpsr64;
240 VG_(transfer) (&fpsr, buf, valgrind_to_gdbserver, size, mod);