diff options
| author | Alexander Graf <agraf@suse.de> | 2012-02-15 23:40:00 +0000 |
|---|---|---|
| committer | Avi Kivity <avi@redhat.com> | 2012-04-08 12:54:57 +0300 |
| commit | bf7ca4bdcb8f1eb15d11879efa824b45443ddb69 (patch) | |
| tree | da2e532462cadb2121badb1f477972ecda3dc911 /lib/mpi/mpi-div.c | |
| parent | 1d628af78a28c77143bcdd4ed09e93bb235d4198 (diff) | |
KVM: PPC: rename CONFIG_KVM_E500 -> CONFIG_KVM_E500V2
The CONFIG_KVM_E500 option really indicates that we're running on a V2 machine,
not on a machine of the generic E500 class. So indicate that properly and
change the config name accordingly.
Signed-off-by: Alexander Graf <agraf@suse.de>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'lib/mpi/mpi-div.c')
0 files changed, 0 insertions, 0 deletions