/*
 * $Id: pcb.h,v 1.1 2007/11/23 13:10:51 nbrk Exp $
 */
#ifndef _SYS_PCB_H
#define _SYS_PCB_H

#include <sys/types.h>

/*
 * Process Control Block.
 */
struct pcb {

	/* ARM general purpose registers */
	uint32_t 	p_r0;
	uint32_t 	p_r1;
	uint32_t 	p_r2;
	uint32_t 	p_r3;
	uint32_t 	p_r4;
	uint32_t 	p_r5;
	uint32_t 	p_r6;
	uint32_t 	p_r7;
	uint32_t 	p_r8;
	uint32_t 	p_r9;
	uint32_t 	p_r10;
	uint32_t 	p_r11;
	uint32_t 	p_r12;
	uint32_t 	p_pc; 	/* r14 (lr) in irq_mode (actually, task's pc) */
//	uint32_t 	p_cpsr;

};


#endif /* not _SYS_PCB_H */