Changeset 26e7d6d in mainline for uspace/srv/bd/gxe_bd/gxe_bd.c
- Timestamp:
- 2011-09-19T16:31:00Z (13 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- a347a11
- Parents:
- 3842a955 (diff), 086290d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
uspace/srv/bd/gxe_bd/gxe_bd.c
r3842a955 r26e7d6d 43 43 #include <as.h> 44 44 #include <fibril_synch.h> 45 #include < devmap.h>45 #include <loc.h> 46 46 #include <sys/types.h> 47 47 #include <errno.h> … … 92 92 static gxe_bd_t *dev; 93 93 94 static devmap_handle_t devmap_handle[MAX_DISKS];94 static service_id_t service_id[MAX_DISKS]; 95 95 96 96 static fibril_mutex_t dev_lock[MAX_DISKS]; … … 126 126 char name[16]; 127 127 128 rc = devmap_driver_register(NAME, gxe_bd_connection);128 rc = loc_server_register(NAME, gxe_bd_connection); 129 129 if (rc < 0) { 130 130 printf(NAME ": Unable to register driver.\n"); … … 142 142 for (i = 0; i < MAX_DISKS; i++) { 143 143 snprintf(name, 16, "%s/disk%d", NAMESPACE, i); 144 rc = devmap_device_register(name, &devmap_handle[i]);144 rc = loc_service_register(name, &service_id[i]); 145 145 if (rc != EOK) { 146 146 printf(NAME ": Unable to register device %s.\n", name); … … 159 159 ipc_call_t call; 160 160 sysarg_t method; 161 devmap_handle_t dh;161 service_id_t dsid; 162 162 unsigned int flags; 163 163 int retval; … … 167 167 168 168 /* Get the device handle. */ 169 d h= IPC_GET_ARG1(*icall);169 dsid = IPC_GET_ARG1(*icall); 170 170 171 171 /* Determine which disk device is the client connecting to. */ 172 172 disk_id = -1; 173 173 for (i = 0; i < MAX_DISKS; i++) 174 if ( devmap_handle[i] == dh)174 if (service_id[i] == dsid) 175 175 disk_id = i; 176 176
Note:
See TracChangeset
for help on using the changeset viewer.