/* Target-dependent code for the i387.
- Copyright (C) 2000-2017 Free Software Foundation, Inc.
+ Copyright (C) 2000-2020 Free Software Foundation, Inc.
This file is part of GDB.
extern void i387_collect_xsave (const struct regcache *regcache,
int regnum, void *xsave, int gcore);
+/* Extract a bitset from XSAVE indicating which features are available in
+ the inferior, but not yet initialised. */
+
+extern ULONGEST i387_xsave_get_clear_bv (struct gdbarch *gdbarch,
+ const void *xsave);
+
/* Prepare the FPU stack in REGCACHE for a function return. */
extern void i387_return_value (struct gdbarch *gdbarch,
struct regcache *regcache);
+/* Set all bnd registers to the INIT state. INIT state means
+ all memory range can be accessed. */
+extern void i387_reset_bnd_regs (struct gdbarch *gdbarch,
+ struct regcache *regcache);
#endif /* i387-tdep.h */