Dokumentation

#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