*/
void be_emit_exit(void);
-/**
- * Emit an ident to the (assembler) output.
- *
- * @param id the ident to be emitted
- */
-void be_emit_ident(ident *id);
-
-/**
- * Emit a firm tarval.
- *
- * @param tv the tarval to be emitted
- */
-void be_emit_tarval(ir_tarval *tv);
-
/**
* Emit the output of an ir_printf.
*