/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); |