2020-04-19 22:53:42 +02:00
|
|
|
#ifndef __KERNEL_SIGNAL_H__
|
|
|
|
# define __KERNEL_SIGNAL_H__
|
|
|
|
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
#include <kernel/process.h>
|
|
|
|
|
|
|
|
// Internal
|
|
|
|
extern int signal_raise(struct process *proc, int sig);
|
2020-04-21 11:48:15 +02:00
|
|
|
extern int signal_deliver_pending(struct process *proc);
|
2020-04-19 22:53:42 +02:00
|
|
|
|
|
|
|
#endif /*__KERNEL_SIGNAL_H__*/
|