Rev 1192 | Rev 1254 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1192 | Rev 1213 | ||
|---|---|---|---|
| Line 31... | Line 31... | ||
| 31 | 31 | ||
| 32 | #include <task.h> |
32 | #include <task.h> |
| 33 | 33 | ||
| 34 | extern int map_physmem(task_id_t id, void *pf, void *vp, unsigned long pages, int writable); |
34 | extern int map_physmem(task_id_t id, void *pf, void *vp, unsigned long pages, int writable); |
| 35 | extern int enable_iospace(task_id_t id, void *ioaddr, unsigned long size); |
35 | extern int enable_iospace(task_id_t id, void *ioaddr, unsigned long size); |
| - | 36 | extern int interrupt_control(int enable); |
|
| 36 | 37 | ||
| 37 | #endif |
38 | #endif |