/*****************************************************************************
 * pce                                                                       *
 *****************************************************************************/

/*****************************************************************************
 * File name:   src/arch/sim405/cmd_ppc.h                                    *
 * Created:     2004-06-01 by Hampa Hug <hampa@hampa.ch>                     *
 * Copyright:   (C) 2004-2015 Hampa Hug <hampa@hampa.ch>                     *
 * Copyright:   (C) 2004-2006 Lukas Ruf <ruf@lpr.ch>                         *
 *****************************************************************************/

/*****************************************************************************
 * This program is free software. You can redistribute it and / or modify it *
 * under the terms of the GNU General Public License version 2 as  published *
 * by the Free Software Foundation.                                          *
 *                                                                           *
 * This program is distributed in the hope  that  it  will  be  useful,  but *
 * WITHOUT  ANY   WARRANTY,   without   even   the   implied   warranty   of *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU  General *
 * Public License for more details.                                          *
 *****************************************************************************/

/*****************************************************************************
 * This software was developed at the Computer Engineering and Networks      *
 * Laboratory (TIK), Swiss Federal Institute of Technology (ETH) Zurich.     *
 *****************************************************************************/


#ifndef PCE_SIM405_CMD_H
#define PCE_SIM405_CMD_H 1


#include "sim405.h"

#include <chipset/ppc405/uic.h>

#include <cpu/ppc405/ppc405.h>

#include <lib/cmd.h>
#include <lib/monitor.h>


void s405_prt_state_ppc (sim405_t *sim);
void s405_prt_state_spr (p405_t *c);
void s405_prt_state_uic (p405_uic_t *uic);
void s405_prt_state_mem (sim405_t *sim);

void prt_state (sim405_t *sim, const char *str);

void ppc_run (sim405_t *sim);

int ppc_do_cmd (sim405_t *sim, cmd_t *cmd);

void ppc_cmd_init (sim405_t *sim, monitor_t *mon);


#endif