Showing changes from revision #1 to #2:
Added | Removed | Changed
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 |
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.
If the entire driver is being deregistered, then this service is issued for each name in turn, and a final time with R3 = 0.