Rev 1430 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1430 | Rev 1493 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | #ifndef __LIBC_DDI_H__ |
29 | #ifndef __LIBC_DDI_H__ |
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 flags); |
34 | extern int map_physmem(void *pf, void *vp, unsigned long pages, int flags); |
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 preemption_control(int enable); |
36 | extern int preemption_control(int enable); |
37 | 37 | ||
38 | #endif |
38 | #endif |