cpudef.h

日本著名的的嵌入式实时操作系统T-Kernel的源码及用户手册。

/*
 *----------------------------------------------------------------------
 *    T-Kernel
 *
 *    Copyright (C) 2004 by Ken Sakamura. All rights reserved.
 *    T-Kernel is distributed under the T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.01.00
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2004/6/28.
 *
 *----------------------------------------------------------------------
 */

/*
 *	@(#)cpudef.h (tk/VR4131)
 *
 *	VR4131 Dependent Definition
 */

#ifndef __TK_CPUDEF_H__
#define __TK_CPUDEF_H__

#ifdef __cplusplus
extern "C" {
#endif

/*
 * General purpose register			tk_get_reg tk_set_reg
 */
typedef struct t_regs {
	DW	at;		/* General purpose register $1 */
	DW	v[2];		/* General purpose register $2-$3 */
	DW	a[4];		/* General purpose register $4-$7 */
	DW	t[10];		/* General purpose register $8-$15, $24-$25 */
	DW	s[8];		/* General purpose register $16-$23 */
	DW	gp;		/* Global pointer $28 */
	DW	fp;		/* Frame pointer $30 */
	DW	ra;		/* Return address $31 */
	DW	hi, lo;		/* Register for multiplication and division */
} T_REGS;

/*
 * Exception-related register		tk_get_reg tk_set_reg
 */
typedef struct t_eit {
	DW	pc;		/* Program counter */
	UW	psr;		/* Status register (CP0) */
	UW	taskmode;	/* Task mode flag */
} T_EIT;

/*
 * Control register			tk_get_reg tk_set_reg
 */
typedef struct t_cregs {
	VP	sstktop;	/* System stack top */
	DW	ssp;		/* System stack pointer */
	DW	usp;		/* User stack pointer */
	VP	uatb;		/* Address of task specific space page table */
	UW	lsid;		/* Task logical space ID */
} T_CREGS;

/*
 * Coprocessor register	tk_get_cpr tk_set_cpr
 */

typedef union {
#if 0
	T_COP0REGS	cop0;	/* FPU */
	T_COP1REGS	cop1;
	T_COP2REGS	cop2;
	T_COP3REGS	cop3;
#endif
} T_COPREGS;

#ifdef __cplusplus
}
#endif
#endif /* __TK_CPUDEF_H__ */