tree c165e3b49dbc0b9f10174e1af6fa167ab6c551ce
parent 4bdd6879116b88680758edb6c157f3395c21e980
author Andrew Walbran <qwandor@google.com> 1561552275 +0100
committer Andrew Walbran <qwandor@google.com> 1562674274 +0100

Introduce typedef for [v]CPU IDs.

Change-Id: I99988988d8ac57c688c5fd52f072357202255f18