kr3dm_dev_t