[inline, protected]
Set the type (name) of the respective hardware device.
Definition at line 273 of file hw_thread.h.