Searched defs:max_vcpu_id (Results 1 – 1 of 1) sorted by relevance
142 vki_uint32_t max_vcpu_id; member161 vki_uint32_t max_vcpu_id; member181 vki_uint32_t max_vcpu_id; member