| /shark/trunk/ports/first/first-server.c |
|---|
| 169,6 → 169,10 |
| /* Send change level command to posix level */ |
| msg = (STD_command_message *)malloc(sizeof(STD_command_message)); |
| #ifdef FSF_DEBUG |
| kern_printf("(MSG POSIXSTAR LEV %d SER %d THR %d)",local_scheduler_level,server,thread); |
| #endif |
| msg->command = STD_SET_NEW_MODEL; |
| msg->param = (void *)(rt_arg); |
| level_table[local_scheduler_level]->public_message(local_scheduler_level,thread,msg); |