/*
 * Copyright 2004-2008, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef _SYSTEM_DEVICE_MANAGER_DEFS_H
#define _SYSTEM_DEVICE_MANAGER_DEFS_H


#include <device_manager.h>


// temporary/optional device manager syscall API
#define DEVICE_MANAGER_SYSCALLS "device_manager"

#define DM_GET_ROOT                             1
#define DM_GET_CHILD                    2
#define DM_GET_NEXT_CHILD               3
#define DM_GET_NEXT_ATTRIBUTE   4

typedef addr_t device_node_cookie;

struct device_attr_info {
        device_node_cookie              node_cookie;
        device_node_cookie              cookie;
        char            name[255];
        type_code       type;
        union {
                uint8   ui8;
                uint16  ui16;
                uint32  ui32;
                uint64  ui64;
                char    string[255];
                struct {
                        void    *data;
                        size_t  length;
                } raw;
        } value;
};

#endif  /* _SYSTEM_DEVICE_MANAGER_DEFS_H */