| commit | 3eeb1de32dc117cf58114ca7775b94a2197b0b2f | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Tue Jun 25 18:32:30 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Fri Jul 05 14:55:08 2019 +0100 |
| tree | ae4d7ad39dd536e0c383366558a1387261cbde6f | |
| parent | afea42a6cd9592170fb6fff362e998b3706a7512 [diff] |
Use hf_vcpu_count_t for vCPU count where possible. Change-Id: I1e2f0bf5ac443fc5dd892fd08cd9fc721e5fd517