commit | 2e886fb39168942ab03b91062e715946e4af8436 | [log] [tgz] |
---|---|---|
author | Sam Bobroff <sam.bobroff@au1.ibm.com> | Wed Aug 09 15:38:56 2017 +1000 |
committer | David Gibson <david@gibson.dropbear.id.au> | Fri Sep 08 09:30:55 2017 +1000 |
tree | 570b2f6294fc9fe07aee21ed8f2dfc87240fcb52 | |
parent | 81210c2009296261879af5d58a3a499815031765 [diff] |
ppc: spapr: Make VCPU ID handling private to SPAPR The concept of a VCPU ID that differs from the CPU's index (cpu->cpu_index) exists only within SPAPR machines so, move the functions ppc_get_vcpu_id() and ppc_get_cpu_by_vcpu_id() into spapr.c and rename them appropriately. Signed-off-by: Sam Bobroff <sam.bobroff@au1.ibm.com> Signed-off-by: David Gibson <david@gibson.dropbear.id.au>