2014-05-27 10:45:58 +08:00
|
|
|
/* Capstone Disassembly Engine */
|
2015-03-04 17:45:23 +08:00
|
|
|
/* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2015 */
|
2013-12-30 00:29:32 +08:00
|
|
|
|
|
|
|
#ifndef CS_PPCINSTPRINTER_H
|
|
|
|
#define CS_PPCINSTPRINTER_H
|
|
|
|
|
|
|
|
#include "../../MCInst.h"
|
|
|
|
#include "../../MCRegisterInfo.h"
|
|
|
|
#include "../../SStream.h"
|
|
|
|
|
|
|
|
void PPC_printInst(MCInst *MI, SStream *O, void *Info);
|
|
|
|
|
2014-05-19 16:46:31 +08:00
|
|
|
void PPC_post_printer(csh ud, cs_insn *insn, char *insn_asm, MCInst *mci);
|
2014-01-05 10:37:50 +08:00
|
|
|
|
2013-12-30 00:29:32 +08:00
|
|
|
#endif
|