/**
 * @ingroup kernel
 * @{
 * @file
 * @author      Freie Universität Berlin, Computer Systems & Telematics, FeuerWhere project
 * @author      Kaspar Schleiser <kaspar@schleiser.de>
 */

/*
 * tcb.h
 *
 *  Created on: 19.08.2008
 *      Author: heiko, kaspar
 */

#ifndef TCB_H_
#define TCB_H_

#include <stdint.h>
#include <queue.h>
#include <clist.h>

/* uneven means has to be on runqueue */
#define STATUS_NOT_FOUND 		(0x0000)
#define STATUS_ON_RUNQUEUE 		(0x0001)
#define STATUS_RUNNING 			(0x0002) + STATUS_ON_RUNQUEUE
#define STATUS_PENDING 			(0x0004) +  STATUS_ON_RUNQUEUE
#define STATUS_STOPPED 			(0x0008)
#define STATUS_SLEEPING 		(0x0010)
#define STATUS_MUTEX_BLOCKED 	(0x0020)
#define STATUS_RECEIVE_BLOCKED 	(0x0040)
#define STATUS_SEND_BLOCKED 	(0x0080)
#define STATUS_REPLY_BLOCKED 	(0x0100)
#define STATUS_TIMER_WAITING	(0x0200)

typedef struct tcb {
    char* sp;
    uint16_t status;

    uint16_t pid;
    uint16_t priority;

    void* wait_data;
    queue_node_t msg_queue;

    clist_node_t rq_entry;

    const char* name;
    char* stack_start;
    int stack_size;
} tcb;

/** @} */
#endif /* TCB_H_ */