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 |