Searched refs:uuid (Results 1 – 3 of 3) sorted by relevance
45 uint64_t uuid; member
232 private_info->uuid = __devfs_get_uuid(); in devfs_register_device()
92 kinfo("tty driver registered. uuid=%d", tty_inode_private_data_ptr->uuid); in tty_init()