tree ae4d7ad39dd536e0c383366558a1387261cbde6f
parent afea42a6cd9592170fb6fff362e998b3706a7512
author Andrew Walbran <qwandor@google.com> 1561483950 +0100
committer Andrew Walbran <qwandor@google.com> 1562334908 +0100

Use hf_vcpu_count_t for vCPU count where possible.

Change-Id: I1e2f0bf5ac443fc5dd892fd08cd9fc721e5fd517