Rev 4401 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4401 | Rev 4416 | ||
|---|---|---|---|
| Line 36... | Line 36... | ||
| 36 | #define LIBC_DEVMAP_H_ |
36 | #define LIBC_DEVMAP_H_ |
| 37 | 37 | ||
| 38 | #include <ipc/devmap.h> |
38 | #include <ipc/devmap.h> |
| 39 | #include <async.h> |
39 | #include <async.h> |
| 40 | 40 | ||
| 41 | typedef int dev_handle_t; |
41 | extern int devmap_get_phone(devmap_interface_t, unsigned int); |
| - | 42 | extern void devmap_hangup_phone(devmap_interface_t iface); |
|
| 42 | 43 | ||
| 43 | extern int devmap_driver_register(const char *, async_client_conn_t); |
44 | extern int devmap_driver_register(const char *, async_client_conn_t); |
| 44 | extern int devmap_device_get_handle(const char *, dev_handle_t *, |
45 | extern int devmap_device_register(const char *, dev_handle_t *); |
| - | 46 | ||
| 45 | unsigned int); |
47 | extern int devmap_device_get_handle(const char *, dev_handle_t *, unsigned int); |
| 46 | extern int devmap_device_connect(dev_handle_t, unsigned int); |
48 | extern int devmap_device_connect(dev_handle_t, unsigned int); |
| - | 49 | ||
| - | 50 | extern ipcarg_t devmap_device_get_count(void); |
|
| 47 | extern int devmap_device_register(int, const char *, int *); |
51 | extern ipcarg_t devmap_device_get_devices(ipcarg_t, dev_desc_t *); |
| 48 | 52 | ||
| 49 | #endif |
53 | #endif |
| 50 | 54 | ||
| 51 | /** @} |
55 | /** @} |
| 52 | */ |
56 | */ |