/trunk/kernel/generic/src/ipc/sysipc.c |
---|
47,6 → 47,7 |
#include <syscall/copy.h> |
#include <security/cap.h> |
#include <mm/as.h> |
#include <print.h> |
#define GET_CHECK_PHONE(phone,phoneid,err) { \ |
if (phoneid > IPC_MAX_PHONES) { err; } \ |
/trunk/kernel/generic/src/ipc/irq.c |
---|
55,6 → 55,7 |
#include <atomic.h> |
#include <syscall/copy.h> |
#include <console/console.h> |
#include <print.h> |
typedef struct { |
SPINLOCK_DECLARE(lock); |
67,7 → 68,7 |
static ipc_irq_t *irq_conns = NULL; |
static int irq_conns_size; |
#include <print.h> |
/* Execute code associated with IRQ notification */ |
static void code_execute(call_t *call, irq_code_t *code) |
{ |