Rev 4345 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4345 | Rev 4347 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | #include <as.h> |
39 | #include <as.h> |
| 40 | #include <align.h> |
40 | #include <align.h> |
| 41 | #include <libarch/config.h> |
41 | #include <libarch/config.h> |
| 42 | #include <kernel/ddi/ddi_arg.h> |
42 | #include <kernel/ddi/ddi_arg.h> |
| 43 | 43 | ||
| - | 44 | /** Return unique device number. |
|
| - | 45 | * |
|
| - | 46 | * @return New unique device number. |
|
| - | 47 | * |
|
| - | 48 | */ |
|
| - | 49 | int device_assign_devno(void) |
|
| - | 50 | { |
|
| - | 51 | return __SYSCALL0(SYS_DEVICE_ASSIGN_DEVNO); |
|
| - | 52 | } |
|
| - | 53 | ||
| 44 | /** Map piece of physical memory to task. |
54 | /** Map piece of physical memory to task. |
| 45 | * |
55 | * |
| 46 | * Caller of this function must have the CAP_MEM_MANAGER capability. |
56 | * Caller of this function must have the CAP_MEM_MANAGER capability. |
| 47 | * |
57 | * |
| 48 | * @param pf Physical address of the starting frame. |
58 | * @param pf Physical address of the starting frame. |