Searched refs:infgdcps (Results 1 – 1 of 1) sorted by relevance
321 uint16_t infgdcps; /**< Number of guest dedicated CPs */ member770 if (!abbrev(tcp) || hdr->infgdcps) in print_sthyi_guest()771 PRINT_FIELD_U(", ", *hdr, infgdcps); in print_sthyi_guest()