/trunk/kernel/generic/include/ipc/sysipc.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __SYSIPC_H__ |
#define __SYSIPC_H__ |
#ifndef KERN_SYSIPC_H_ |
#define KERN_SYSIPC_H_ |
#include <ipc/ipc.h> |
#include <ipc/irq.h> |
60,4 → 60,3 |
/** @} |
*/ |
/trunk/kernel/generic/include/ipc/irq.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __IRQ_H__ |
#define __IRQ_H__ |
#ifndef KERN_IRQ_H_ |
#define KERN_IRQ_H_ |
/** Maximum length of IPC IRQ program */ |
#define IRQ_MAX_PROG_SIZE 10 |
90,4 → 90,3 |
/** @} |
*/ |
/trunk/kernel/generic/include/ipc/ipcrsc.h |
---|
32,8 → 32,8 |
/** @file |
*/ |
#ifndef __IPCRSC_H__ |
#define __IPCRSC_H__ |
#ifndef KERN_IPCRSC_H_ |
#define KERN_IPCRSC_H_ |
call_t * get_call(unative_t callid); |
int phone_alloc(void); |
44,4 → 44,3 |
/** @} |
*/ |