Searched refs:td_uuid_t (Results 1 – 3 of 3) sorted by relevance
91 td_uuid_t uuid;171 td_vbd_t *tapdisk_vbd_create(td_uuid_t);172 int tapdisk_vbd_initialize(td_uuid_t);
40 td_vbd_t *tapdisk_server_get_vbd(td_uuid_t);
105 typedef uint16_t td_uuid_t; typedef
Completed in 3 milliseconds