A fast and easily customised operating system
for ARM devices
Service_DeviceDead
Programmer's Reference Manuals
» Part 16 – Service Calls
» Service_DeviceDead
Service_DeviceDead
(Service &79)
| Entry | |
|---|---|
| R0 | 0 |
| R1 | 121 (&79) |
| R2 | Device driver handle |
| R3 | Pointer to device name, or 0 if whole device driver is being deregistered |
| Exit | |
|---|---|
| All registers must be preserved | |
Use
This service is issued by DeviceFS? when a specified device has been killed – usually because a second device of the same name has been registered.
Notes
If the entire driver is being deregistered, then this service is issued for each name in turn, and a final time with R3 = 0.