Rev 1254 | Rev 1430 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1254 | Rev 1279 | ||
|---|---|---|---|
| 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 iospace_enable(task_id_t id, void *ioaddr, unsigned long size); |
35 | extern int iospace_enable(task_id_t id, void *ioaddr, unsigned long size); |
| 36 | extern int interrupt_control(int enable); |
36 | extern int preemption_control(int enable); |
| 37 | 37 | ||
| 38 | #endif |
38 | #endif |