sys_api.h

MIPS下的boottloader yamon 的源代码

 *  ---------------
 *  Value of the 32 bit CP0 register, 'context'.
 *
 ************************************************************************/
UINT32 CP0_context_read( void ) ;


/************************************************************************
 *
 *                          CP0_pagemask_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'pagemask', ($5).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'pagemask'.
 *
 ************************************************************************/
UINT32 CP0_pagemask_read( void ) ;


/************************************************************************
 *
 *                          CP0_wired_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'wired', ($6).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'wired'.
 *
 ************************************************************************/
UINT32 CP0_wired_read( void ) ;


/************************************************************************
 *
 *                          CP0_badvaddr_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'badvaddr', ($8).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'badvaddr'.
 *
 ************************************************************************/
UINT32 CP0_badvaddr_read( void ) ;


/************************************************************************
 *
 *                          CP0_count_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'count', ($9).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'count'.
 *
 ************************************************************************/
UINT32 CP0_count_read( void ) ;


/************************************************************************
 *
 *                          CP0_entryhi_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'entryhi', ($10).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'entryhi'.
 *
 ************************************************************************/
UINT32 CP0_entryhi_read( void ) ;


/************************************************************************
 *
 *                          CP0_compare_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'compare', ($11).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'compare'.
 *
 ************************************************************************/
UINT32 CP0_compare_read( void ) ;


/************************************************************************
 *
 *                          CP0_status_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'status', ($12).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'status'.
 *
 ************************************************************************/
UINT32 CP0_status_read( void ) ;


/************************************************************************
 *
 *                          CP0_cause_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'cause', ($13).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'cause'.
 *
 ************************************************************************/
UINT32 CP0_cause_read( void ) ;


/************************************************************************
 *
 *                          CP0_epc_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'epc', ($14).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'epc'.
 *
 ************************************************************************/
UINT32 CP0_epc_read( void ) ;


/************************************************************************
 *
 *                          CP0_prid_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'prid', ($15).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'prid'.
 *
 ************************************************************************/
UINT32 CP0_prid_read( void ) ;


/************************************************************************
 *
 *                          CP0_config_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'config', ($16, select0).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'config'.
 *
 ************************************************************************/
UINT32 CP0_config_read( void ) ;


/************************************************************************
 *
 *                          CP0_config1_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'config1', ($16, select 1).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'config1'.
 *
 ************************************************************************/
UINT32 CP0_config1_read( void ) ;


/************************************************************************
 *
 *                          CP0_lladdr_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'lladdr', ($17).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'lladdr'.
 *
 ************************************************************************/
UINT32 CP0_lladdr_read( void ) ;


/************************************************************************
 *
 *                          CP0_watchlo_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'watchlo', ($18).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'watchlo'.
 *
 ************************************************************************/
UINT32 CP0_watchlo_read( void ) ;


/************************************************************************
 *
 *                          CP0_watchhi_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'watchhi', ($19).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'watchhi'.
 *
 ************************************************************************/
UINT32 CP0_watchhi_read( void ) ;


/************************************************************************
 *
 *                          CP0_debug_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'debug', ($23).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'debug'.
 *
 ************************************************************************/
UINT32 CP0_debug_read( void ) ;


/************************************************************************
 *
 *                          CP0_depc_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'depc', ($24).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'depc'.
 *
 ************************************************************************/
UINT32 CP0_depc_read( void ) ;


/************************************************************************
 *
 *                          CP0_perfcount_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'perfcount', ($25).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'perfcount'.
 *
 ************************************************************************/
UINT32 CP0_perfcount_read( void ) ;


/************************************************************************
 *
 *                          CP0_ecc_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'ecc', ($26).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'ecc'.
 *
 ************************************************************************/
UINT32 CP0_ecc_read( void ) ;


/************************************************************************
 *
 *                          CP0_cacheerr_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'cacheerr', ($27).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'cacheerr'.
 *
 ************************************************************************/
UINT32 CP0_cacheerr_read( void ) ;


/************************************************************************
 *
 *                          CP0_taglo0_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'taglo0', ($28).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'taglo0'.
 *
 ************************************************************************/
UINT32 CP0_taglo0_read( void ) ;


/************************************************************************
 *
 *                          CP0_taghi0_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'taghi0', ($29).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'taghi0'.
 *
 ************************************************************************/
UINT32 CP0_taghi0_read( void ) ;


/************************************************************************
 *
 *                          CP0_datalo1_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'datalo1', ($28, select 1).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'datalo1'.
 *
 ************************************************************************/
UINT32 CP0_datalo1_read( void ) ;


/************************************************************************
 *
 *                          CP0_datahi1_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'datahi1', ($29, select 1).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'datahi1'.
 *
 ************************************************************************/
UINT32 CP0_datahi1_read( void ) ;


/************************************************************************
 *
 *                          CP0_errorepc_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'errorepc', ($30).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'errorepc'.
 *
 ************************************************************************/
UINT32 CP0_errorepc_read( void ) ;


/************************************************************************
 *
 *                          CP0_desave_read
 *  Description :
 *  -------------
 *  Read the CP0 register, 'desave', ($31).
 *  
 *  Parameters :
 *  ------------
 *  
 *
 *  Return values :
 *  ---------------
 *  Value of the 32 bit CP0 register, 'desave'.
 *
 ************************************************************************/
UINT32 CP0_desave_read( void ) ;


/************************************************************************
 *
 *                          CP0_index_write
 *  Description :
 *  -------------
 *  Write the CP0 register, 'index', ($0).
 *  
 *  Parameters :
 *  ------------
 *  'val': 32 bit value to be written into CP0-register
 *
 *  Return values :
 *  ---------------
 *  -
 *
 ************************************************************************/
void CP0_index_write( UINT32 val ) ;