46,8 → 46,8 |
unsigned long int VMEMLONG = WIDTH * HEIGHT * BYTES_PP / 4; // Used by copy_videomem_16to16 |
unsigned long int RGB565MEM = WIDTH * HEIGHT * BYTES_PP; // Total video mem |
|
unsigned long int PERIOD_REFRESH = 50000; //fps = 20 Test |
unsigned long int PERIOD_DISEGNA = 50000; |
unsigned long int PERIOD_REFRESH = 80000; //fps = 20 Test |
unsigned long int PERIOD_DISEGNA = 80000; |
|
unsigned long int WCET_REFRESH, WCET_DISEGNA; |
|
277,7 → 277,6 |
} |
|
video_buf = vga_getgraphmem(); |
rgb_565_buf = malloc(RGB565MEM); |
|
grx_setbuffer(rgb_565_buf, WIDTH, HEIGHT); //Init of RGB16 version of grx functions |
//created to work with Mesa buffer |
357,7 → 356,7 |
clear(); |
|
WCET_REFRESH =((long int) PERIOD_REFRESH * (0.3)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.65)); |
WCET_DISEGNA =((long int) PERIOD_DISEGNA * (0.6)); |
|
hard_task_default_model(ht_refresh); |
hard_task_def_wcet(ht_refresh,WCET_REFRESH); |
393,7 → 392,11 |
k.ascii = 'c'; |
keyb_hook(k,program_key_end); |
} |
|
|
rgb_565_buf = malloc(RGB565MEM); |
|
gl_init(); |
|
if (screen(INITSTR)) { |
printk(KERN_INFO "Graphical initialization failed !!\n"); |
sys_end(); |
401,8 → 404,6 |
|
memset(rgb_565_buf, 0, RGB565MEM); |
|
gl_init(); |
|
group_activate(1); |
|
return 0; |