mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 11:23:16 +01:00
403a038845
Mutex system call fixed for multiple contenders Userspace irq support extended to keyboard/mouse. Scheduler modified for real-time irq tasks
17 lines
224 B
C
17 lines
224 B
C
/*
|
|
* Copyright (C) 2010 B Labs Ltd.
|
|
*
|
|
* By Bahadir Balban
|
|
*/
|
|
#ifndef __IPI_H__
|
|
#define __IPI_H__
|
|
|
|
#include <l4/generic/irq.h>
|
|
|
|
int ipi_handler(struct irq_desc *desc);
|
|
|
|
|
|
#define IPI_TIMER_EVENT 0
|
|
|
|
#endif /* __IPI_H__ */
|