Rev 3022 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3022 | Rev 4156 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | /** @addtogroup genericddi |
29 | /** @addtogroup genericddi |
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** |
32 | /** |
33 | * @file |
33 | * @file |
34 | * @brief Device numbers. |
34 | * @brief Device numbers. |
35 | */ |
35 | */ |
36 | 36 | ||
37 | #include <arch/types.h> |
37 | #include <arch/types.h> |
38 | #include <ddi/device.h> |
38 | #include <ddi/device.h> |
39 | #include <atomic.h> |
39 | #include <atomic.h> |
Line 45... | Line 45... | ||
45 | * |
45 | * |
46 | * @return Unique device number. |
46 | * @return Unique device number. |
47 | */ |
47 | */ |
48 | devno_t device_assign_devno(void) |
48 | devno_t device_assign_devno(void) |
49 | { |
49 | { |
50 | devno_t devno; |
- | |
51 | - | ||
52 | devno = (devno_t) atomic_postinc(&last); |
50 | devno_t devno = (devno_t) atomic_postinc(&last); |
53 | ASSERT(devno >= 0); |
51 | ASSERT(devno >= 0); |
54 | 52 | ||
55 | return devno; |
53 | return devno; |
56 | } |
54 | } |
57 | 55 | ||
- | 56 | unative_t sys_device_assign_devno(void) |
|
- | 57 | { |
|
- | 58 | return (unative_t) device_assign_devno(); |
|
- | 59 | } |
|
- | 60 | ||
58 | /** @} |
61 | /** @} |
59 | */ |
62 | */ |