printf_filtered ("WITH_MODEL_ISSUE = %d\n", WITH_MODEL_ISSUE);
printf_filtered ("WITH_RESERVED_BITS = %d\n", WITH_RESERVED_BITS);
printf_filtered ("WITH_STDIO = %d\n", WITH_STDIO);
- printf_filtered ("WITH_REGPARM = %d\n", WITH_REGPARM);
- printf_filtered ("WITH_STDCALL = %d\n", WITH_STDCALL);
printf_filtered ("DEFAULT_INLINE = %s\n", options_inline (DEFAULT_INLINE));
printf_filtered ("SIM_ENDIAN_INLINE = %s\n", options_inline (SIM_ENDIAN_INLINE));
printf_filtered ("BITS_INLINE = %s\n", options_inline (BITS_INLINE));