Searched defs:max_vcpu_id (Results 1 – 1 of 1) sorted by relevance
112 vki_uint32_t max_vcpu_id; member131 vki_uint32_t max_vcpu_id; member151 vki_uint32_t max_vcpu_id; member