gonzui: tkernel_2/monitor/hwdepend/tef

    1: /*
    2:  *----------------------------------------------------------------------
    3:  *    T-Kernel 2.0 Software Package
    4:  *
    5:  *    Copyright 2011 by Ken Sakamura.
    6:  *    This software is distributed under the latest version of T-License 2.x.
    7:  *----------------------------------------------------------------------
    8:  *
    9:  *    Released by T-Engine Forum(http://www.t-engine.org/) at 2011/05/17.
   10:  *    Modified by TRON Forum(http://www.tron.org/) at 2015/06/01.
   11:  *
   12:  *----------------------------------------------------------------------
   13:  */
   14: 
   15: /*
   16:  *      sysdepend.h
   17:  *
   18:  *       system-related definitions: ARM CPUs.
   19:  */
   20: 
   21: #ifndef __MONITOR_CMDSVC_SYSDEPEND_H__
   22: #define __MONITOR_CMDSVC_SYSDEPEND_H__
   23: 
   24: #include "hwdepend.h"
   25: #include <sys/sysinfo.h>
   26: #include <sys/rominfo.h>
   27: #include "setup_em1d512.h"
   28: 
   29: /*
   30:  * cache and MMU control
   31:  */
   32: IMPORT void setCacheMMU( UW cp15r1 );
   33: 
   34: /*
   35:  * machine-dependent interrupt processing
   36:  *       info is defined in machine-dependent manner.
   37:  *       return value     0 : it is not the target of processing.
   38:  *               1 : the object is the target of processing (the monitor should continue monitoring)
   39:  *               2 : the object is the target of processing (exiting interrupt handler).
   40:  */
   41: IMPORT W procHwInt( UW info );
   42: 
   43: #endif /* __MONITOR_CMDSVC_SYSDEPEND_H__ */