core_bonito64.h

MIPS YAMON, a famous monitor inc. source, make file and PDF manuals.

/************************************************************************
 *
 *  core_bonito64.h
 *
 *  Register definitions for Bonito64 system controller
 *
 * ######################################################################
 *
 * mips_start_of_header
 * 
 *  $Id: core_bonito64.h,v 1.10 2001/07/12 09:43:09 soc Exp $
 * 
 * Copyright (c) [Year(s)] MIPS Technologies, Inc. All rights reserved.
 *
 * Unpublished rights reserved under U.S. copyright law.
 *
 * PROPRIETARY/SECRET CONFIDENTIAL INFORMATION OF MIPS TECHNOLOGIES,
 * INC. FOR INTERNAL USE ONLY.
 *
 * Under no circumstances (contract or otherwise) may this information be
 * disclosed to, or copied, modified or used by anyone other than employees
 * or contractors of MIPS Technologies having a need to know.
 *
 * 
 * mips_end_of_header
 *
 ************************************************************************/

#ifndef CORE_BONITO64_H
#define CORE_BONITO64_H

/************************************************************************
 *  Include files
 ************************************************************************/

#include <sysdefs.h>

/************************************************************************
 *  Definitions
 ************************************************************************/

/* CoreHI interrupt signal is taken from Bonito64 Int1 pin */
#define CORE_BONITO64_INT_HI		1

/************************************************************************
 *  Public variables
 ************************************************************************/

#ifndef _ASSEMBLER_

extern UINT32 _bonito;

#endif  /* #ifndef _ASSEMBLER_ */

/************************************************************************
 *  Public functions
 ************************************************************************/

#ifndef _ASSEMBLER_

/* Functions in flash for accessing specific Bonito64 registers */
UINT32 bonito64_write_iodevcfg( UINT32 data );
UINT32 bonito64_write_sdcfg(    UINT32 data );

#endif  /* #ifndef _ASSEMBLER_ */


#endif /* #ifndef CORE_BONITO64_H */