Searched refs:vcca_id (Results 1 – 3 of 3) sorted by relevance
91 uint64_t vcca_id; member
59 vccap->vcca_id = libvarpd_instance_id(ihdl); in libvarpd_door_f_create()
142 *cidp = cap->vcca_id; in libvarpd_c_instance_create()