Brian Feldman 1fd9f8f438 Add revoke_and_destroy_dev(), to be used by devices which decide when
they choose to destroy themselves without regard to whether or not
they are open.
2002-02-16 17:35:05 +00:00
..
2002-02-15 13:22:09 +00:00
2002-02-10 21:36:13 +00:00
2002-01-08 19:33:51 +00:00
2002-02-16 05:59:26 +00:00
2002-02-07 20:58:47 +00:00
2002-02-16 13:13:22 +00:00