// SPDX-License-Identifier: MIT
#ifndef __PPC64LE_PRINTER_H__
#define __PPC64LE_PRINTER_H__

#include <stdint.h>

const char* ppc64le_print(uint32_t opcode, uint64_t addr);

#endif //__PPC64LE_PRINTER_H__
