src/system/kernel/device_manager/id_generator.h

   1 /*
   2  * Copyright 2004-2008, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
   3  * Copyright 2002-04, Thomas Kurschel. All rights reserved.
   4  *
   5  * Distributed under the terms of the MIT License.
   6  */
   7 #ifndef ID_GENERATOR_H
   8 #define ID_GENERATOR_H
   9
  10
  11 #include <SupportDefs.h>
  12
  13
  14 #ifdef __cplusplus
  15 extern "C" {
  16 #endif
  17
  18 int32 dm_create_id(const char *name);
  19 status_t dm_free_id(const char *name, uint32 id);
  20
  21 void dm_init_id_generator(void);
  22
  23 #ifdef __cplusplus
  24 }
  25 #endif
  26
  27 #endif  /* ID_GENERATOR_H */