/* * Accessor functions for the device_t type. */