Blame |
Last modification |
View Log
| RSS feed
#ifndef _myjetctrl_h
#define _myjetctrl_h
#include <ll/ll.h>
#include <kernel/types.h>
#include <kernel/descr.h>
#include <math.h>
#include <drivers/glib.h>
#include <drivers/keyb.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
/*-------------------------------
this header file has be modified from the
jumping ball jet control example.
---------------------------------*/
/* Subparts */
#define JET_ON
/* CPU Speed Selection
--------------------------------------------------------------------
1700 - Pentium 4 1.7 GHz
400 - Pentium 2 400 MHz
133 - Pentium 1 133 MHz
*/
#define CPU 1700
/*
*
* WCET, Periods and Models
*
*/
#if CPU==133
#define WCET_JETCTRL 10000
#define WCET_JETDUMMY 300
#define WCET_JETSLIDE 2000
#endif
#if CPU==400
#define WCET_JETCTRL 7500
#define WCET_JETDUMMY 200
#define WCET_JETSLIDE 2100
#endif
#if CPU==1700
#define WCET_JETCTRL 4500
#define WCET_JETDUMMY 100
#define WCET_JETSLIDE 1300
#endif
#define PERIOD_JETCTRL 100000
#define PERIOD_JETDUMMY 100000
#define PERIOD_JETSLIDE 100000
/*
*
* Global Stuffs
*
*/
void init_jetcontrol();
void scenario_jetcontrol();
/*
*
* JETCONTROL stuffs
*
*/
#define JET_NTASK 35
#define JET_Y_NAME 170
#define DUMMY_PID 1
#define JET_DUMMY_WIDTH 210
#define JET_DUMMY_HEIGHT 80
/* the point (x, y) is the top left corner */
#define JET_DUMMY_X 428
#define JET_DUMMY_Y 65
#define JET_SLIDE_WIDTH 50
#define JET_SLIDE_X 576
extern mutex_t mutex1;
/* useful colors... */
extern int white;
extern int black;
extern int red;
extern int gray;
extern int blue;
extern int yellow;
extern int green;
#endif