Commit 7c57df0d authored by Richard Henderson's avatar Richard Henderson
Browse files

tcg: Delete tcg_helper_get_name declaration 



The function was deleted in 4dc81f28.

Reviewed-by: default avatarStefan Weil <sw@weilnetz.de>
Signed-off-by: default avatarRichard Henderson <rth@twiddle.net>
parent 802b5081

tcg/tcg.h

+0 −1
Original line number Diff line number Diff line
@@ -681,7 +681,6 @@ TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr, TCGArg *args, 


/* only used for debugging purposes */

void tcg_register_helper(void *func, const char *name);

const char *tcg_helper_get_name(TCGContext *s, void *func);

void tcg_dump_ops(TCGContext *s);



void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);