StuBS
assassin.h File Reference

Assassin handles IPIs triggered by Scheduler::kill More...

#include "interrupt/gate.h"
Include dependency graph for assassin.h:

Classes

class  Assassin
 Handling for the "killer"-IPI, that is a message indicating that a thread should be terminated. More...
 

Detailed Description

Assassin handles IPIs triggered by Scheduler::kill