void Kernel::writeIntoMessageQueue(Task* task, int length, int params[]) { int activeTaskId = _taskManager->getActiveTask()->id; if ((std::strcmp(_taskManager->getActiveTask()->name, "ScreenSwitcher") == 0) && (params[0] == 398)) { activeTaskId = -1; int nextTaskId = -1; Task** tasks = _taskManager->getTaskList(); for (int i = _displayTaskId + 1; nextTaskId < 0; i++) { if (i >= MAX_TASKS) { i = 0; } if (tasks[i] != NULL) { nextTaskId = i; } } _displayTaskId = nextTaskId; params[1] = _displayTaskId; } // if (task->status == Blocked) { // task->status = Ready; // } MemoryManager* memoryManager = task->memoryManager; MessageQueue* messageQueue = memoryManager->getMessageQueueWithoutVirtualOffset(); if (!messageQueue->isFull()) { Message* message = memoryManager->createMessage(activeTaskId, length, params); messageQueue->pushMessage(message); }; }