The text 325a2fdde7d7, as Debian 5.0 (Lenny) shipped it.
manipulate device state
device_get_state(9freebsd) on Linux now
