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. |