extern int gdb_print_insn (struct gdbarch *gdbarch, CORE_ADDR memaddr,
struct ui_file *stream, int *branch_delay_insns);
-/* Class used to pretty-print an instruction. */
+/* Class used to pretty-print instructions. */
class gdb_pretty_print_disassembler
{
const gdb_byte *insn, int max_len,
CORE_ADDR memaddr);
+/* Returns GDBARCH's disassembler options. */
+
+extern char *get_disassembler_options (struct gdbarch *gdbarch);
+
+/* Sets the active gdbarch's disassembler options to OPTIONS. */
+
+extern void set_disassembler_options (char *options);
+
#endif