Rev 4401 | Rev 4416 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4401 | Rev 4410 | ||
---|---|---|---|
Line 208... | Line 208... | ||
208 | if (driver_phone < 0) { |
208 | if (driver_phone < 0) { |
209 | printf(NAME ": Unable to register driver\n"); |
209 | printf(NAME ": Unable to register driver\n"); |
210 | return false; |
210 | return false; |
211 | } |
211 | } |
212 | 212 | ||
213 | int dev_handle; |
213 | dev_handle_t dev_handle; |
214 | if (devmap_device_register(driver_phone, "initrd", &dev_handle) != EOK) { |
214 | if (devmap_device_register(driver_phone, "initrd", &dev_handle) != EOK) { |
215 | ipc_hangup(driver_phone); |
215 | ipc_hangup(driver_phone); |
216 | printf(NAME ": Unable to register device\n"); |
216 | printf(NAME ": Unable to register device\n"); |
217 | return false; |
217 | return false; |
218 | } |
218 | } |