/*
 * QEMU TCG support
 *
 * This work is licensed under the terms of the GNU GPL, version 2 or later.
 * See the COPYING file in the top-level directory.
 */

#ifndef SYSEMU_TCG_H
#define SYSEMU_TCG_H

#include <stdbool.h>
#include <stdint.h>
//#include "uc_priv.h"

struct uc_struct;

void tcg_exec_init(struct uc_struct *uc, uint32_t tb_size);

#endif