38,14 → 38,18 |
#include <ipc/devmap.h> |
#include <async.h> |
|
typedef int dev_handle_t; |
extern int devmap_get_phone(devmap_interface_t, unsigned int); |
extern void devmap_hangup_phone(devmap_interface_t iface); |
|
extern int devmap_driver_register(const char *, async_client_conn_t); |
extern int devmap_device_get_handle(const char *, dev_handle_t *, |
unsigned int); |
extern int devmap_device_register(const char *, dev_handle_t *); |
|
extern int devmap_device_get_handle(const char *, dev_handle_t *, unsigned int); |
extern int devmap_device_connect(dev_handle_t, unsigned int); |
extern int devmap_device_register(int, const char *, int *); |
|
extern ipcarg_t devmap_device_get_count(void); |
extern ipcarg_t devmap_device_get_devices(ipcarg_t, dev_desc_t *); |
|
#endif |
|
/** @} |