+/**
+ * General reqister mapping stuff.
+ * @author Christian Wuerdig
+ * $Id$
+ */
+
#ifndef _IA32_MAP_REGS_H_
#define _IA32_MAP_REGS_H_
/**
* Returns the corresponding mapped name for a register.
*/
-char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg);
+const char *ia32_get_mapped_reg_name(pmap *reg_map, const arch_register_t *reg);
/**
* Check all parameters and determine the maximum number of parameters