115,7 → 115,6 |
|
static int gxe_bd_init(void) |
{ |
int driver_phone; |
dev_handle_t dev_handle; |
void *vaddr; |
int rc; |
125,7 → 124,6 |
printf(NAME ": Unable to register driver.\n"); |
return rc; |
} |
driver_phone = rc; |
|
rc = pio_enable((void *) dev_physical, sizeof(gxe_bd_t), &vaddr); |
if (rc != EOK) { |
143,9 → 141,9 |
|
devbuf = vaddr; |
|
rc = devmap_device_register(driver_phone, "disk0", &dev_handle); |
rc = devmap_device_register("disk0", &dev_handle); |
if (rc != EOK) { |
ipc_hangup(driver_phone); |
devmap_hangup_phone(DEVMAP_DRIVER); |
printf(NAME ": Unable to register device.\n"); |
return rc; |
} |