+/* The "push_dummy_call" gdbarch method, optionally with the thiscall
+ calling convention. */
+extern CORE_ADDR i386_thiscall_push_dummy_call (struct gdbarch *gdbarch,
+ struct value *function,
+ struct regcache *regcache,
+ CORE_ADDR bp_addr,
+ int nargs, struct value **args,
+ CORE_ADDR sp,
+ function_call_return_method
+ return_method,
+ CORE_ADDR struct_addr,
+ bool thiscall);
+