/* Capstone Disassembly Engine */
/* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2015 */
// return name of regiser in friendly string
const char *;
// given internal insn id, return public instruction info
void ;
const char *;
const char *;
// map internal raw register to 'public' register
xcore_reg ;
// map register name to register ID
xcore_reg ;