#include <cfg/cfg_timer.h>
#include <cfg/debug.h>
#include <cfg/cfg_timer.h>
#include <cfg/debug.h>
#include <cpu/irq.h>
#include <kern/proc.h>
#include <kern/proc_p.h>
#include <cpu/irq.h>
#include <kern/proc.h>
#include <kern/proc_p.h>
* \author Bernie Innocenti <bernie@codewiz.org>
*/
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#ifndef KERN_SIGNAL_H
#define KERN_SIGNAL_H
#include <cfg/compiler.h>
#ifndef KERN_SIGNAL_H
#define KERN_SIGNAL_H
#include <cfg/compiler.h>
/* Fwd decl */
struct Process;
/* Fwd decl */
struct Process;