| /trunk/uspace/lib/libc/include/ddi.h |
|---|
| 37,6 → 37,7 |
| #include <task.h> |
| extern int device_assign_devno(void); |
| extern int physmem_map(void *, void *, unsigned long, int); |
| extern int iospace_enable(task_id_t, void *, unsigned long); |
| extern int preemption_control(int); |
| /trunk/uspace/lib/libc/generic/ddi.c |
|---|
| 41,6 → 41,16 |
| #include <libarch/config.h> |
| #include <kernel/ddi/ddi_arg.h> |
| /** Return unique device number. |
| * |
| * @return New unique device number. |
| * |
| */ |
| int device_assign_devno(void) |
| { |
| return __SYSCALL0(SYS_DEVICE_ASSIGN_DEVNO); |
| } |
| /** Map piece of physical memory to task. |
| * |
| * Caller of this function must have the CAP_MEM_MANAGER capability. |