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