2014-01-05 00:00:05 +08:00
|
|
|
/* Capstone Disassembler Engine */
|
|
|
|
|
/* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013> */
|
|
|
|
|
|
|
|
|
|
#ifndef CS_PPC_MAP_H
|
|
|
|
|
#define CS_PPC_MAP_H
|
|
|
|
|
|
|
|
|
|
#include "../../include/capstone.h"
|
|
|
|
|
|
|
|
|
|
// return name of regiser in friendly string
|
|
|
|
|
const char *PPC_reg_name(csh handle, unsigned int reg);
|
|
|
|
|
|
|
|
|
|
// given internal insn id, return public instruction info
|
2014-01-06 10:56:59 +08:00
|
|
|
void PPC_get_insn_id(cs_struct *h, cs_insn *insn, unsigned int id);
|
2014-01-05 00:00:05 +08:00
|
|
|
|
|
|
|
|
const char *PPC_insn_name(csh handle, unsigned int id);
|
|
|
|
|
|
|
|
|
|
// map internal raw register to 'public' register
|
|
|
|
|
ppc_reg PPC_map_register(unsigned int r);
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
