]> git.proxmox.com Git - mirror_ubuntu-bionic-kernel.git/blame - arch/powerpc/kvm/powerpc.c
KVM: PPC: Implement Level interrupts on Book3S
[mirror_ubuntu-bionic-kernel.git] / arch / powerpc / kvm / powerpc.c
CommitLineData
bbf45ba5
HB
1/*
2 * This program is free software; you can redistribute it and/or modify
3 * it under the terms of the GNU General Public License, version 2, as
4 * published by the Free Software Foundation.
5 *
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
10 *
11 * You should have received a copy of the GNU General Public License
12 * along with this program; if not, write to the Free Software
13 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
14 *
15 * Copyright IBM Corp. 2007
16 *
17 * Authors: Hollis Blanchard <hollisb@us.ibm.com>
18 * Christian Ehrhardt <ehrhardt@linux.vnet.ibm.com>
19 */
20
21#include <linux/errno.h>
22#include <linux/err.h>
23#include <linux/kvm_host.h>
24#include <linux/module.h>
25#include <linux/vmalloc.h>
544c6761 26#include <linux/hrtimer.h>
bbf45ba5 27#include <linux/fs.h>
5a0e3ad6 28#include <linux/slab.h>
bbf45ba5
HB
29#include <asm/cputable.h>
30#include <asm/uaccess.h>
31#include <asm/kvm_ppc.h>
83aae4a8 32#include <asm/tlbflush.h>
73e75b41 33#include "timing.h"
fad7b9b5 34#include "../mm/mmu_decl.h"
bbf45ba5 35
46f43c6e
MT
36#define CREATE_TRACE_POINTS
37#include "trace.h"
38
bbf45ba5
HB
39int kvm_arch_vcpu_runnable(struct kvm_vcpu *v)
40{
666e7252
AG
41 return !(v->arch.shared->msr & MSR_WE) ||
42 !!(v->arch.pending_exceptions);
bbf45ba5
HB
43}
44
2a342ed5
AG
45int kvmppc_kvm_pv(struct kvm_vcpu *vcpu)
46{
47 int nr = kvmppc_get_gpr(vcpu, 11);
48 int r;
49 unsigned long __maybe_unused param1 = kvmppc_get_gpr(vcpu, 3);
50 unsigned long __maybe_unused param2 = kvmppc_get_gpr(vcpu, 4);
51 unsigned long __maybe_unused param3 = kvmppc_get_gpr(vcpu, 5);
52 unsigned long __maybe_unused param4 = kvmppc_get_gpr(vcpu, 6);
53 unsigned long r2 = 0;
54
55 if (!(vcpu->arch.shared->msr & MSR_SF)) {
56 /* 32 bit mode */
57 param1 &= 0xffffffff;
58 param2 &= 0xffffffff;
59 param3 &= 0xffffffff;
60 param4 &= 0xffffffff;
61 }
62
63 switch (nr) {
5fc87407
AG
64 case HC_VENDOR_KVM | KVM_HC_PPC_MAP_MAGIC_PAGE:
65 {
66 vcpu->arch.magic_page_pa = param1;
67 vcpu->arch.magic_page_ea = param2;
68
df1bfa25 69 r2 = KVM_MAGIC_FEAT_SR;
7508e16c 70
5fc87407
AG
71 r = HC_EV_SUCCESS;
72 break;
73 }
2a342ed5
AG
74 case HC_VENDOR_KVM | KVM_HC_FEATURES:
75 r = HC_EV_SUCCESS;
5fc87407
AG
76#if defined(CONFIG_PPC_BOOK3S) /* XXX Missing magic page on BookE */
77 r2 |= (1 << KVM_FEATURE_MAGIC_PAGE);
78#endif
2a342ed5
AG
79
80 /* Second return value is in r4 */
2a342ed5
AG
81 break;
82 default:
83 r = HC_EV_UNIMPLEMENTED;
84 break;
85 }
86
7508e16c
AG
87 kvmppc_set_gpr(vcpu, 4, r2);
88
2a342ed5
AG
89 return r;
90}
bbf45ba5
HB
91
92int kvmppc_emulate_mmio(struct kvm_run *run, struct kvm_vcpu *vcpu)
93{
94 enum emulation_result er;
95 int r;
96
97 er = kvmppc_emulate_instruction(run, vcpu);
98 switch (er) {
99 case EMULATE_DONE:
100 /* Future optimization: only reload non-volatiles if they were
101 * actually modified. */
102 r = RESUME_GUEST_NV;
103 break;
104 case EMULATE_DO_MMIO:
105 run->exit_reason = KVM_EXIT_MMIO;
106 /* We must reload nonvolatiles because "update" load/store
107 * instructions modify register state. */
108 /* Future optimization: only reload non-volatiles if they were
109 * actually modified. */
110 r = RESUME_HOST_NV;
111 break;
112 case EMULATE_FAIL:
113 /* XXX Deliver Program interrupt to guest. */
114 printk(KERN_EMERG "%s: emulation failed (%08x)\n", __func__,
c7f38f46 115 kvmppc_get_last_inst(vcpu));
bbf45ba5
HB
116 r = RESUME_HOST;
117 break;
118 default:
119 BUG();
120 }
121
122 return r;
123}
124
10474ae8 125int kvm_arch_hardware_enable(void *garbage)
bbf45ba5 126{
10474ae8 127 return 0;
bbf45ba5
HB
128}
129
130void kvm_arch_hardware_disable(void *garbage)
131{
132}
133
134int kvm_arch_hardware_setup(void)
135{
136 return 0;
137}
138
139void kvm_arch_hardware_unsetup(void)
140{
141}
142
143void kvm_arch_check_processor_compat(void *rtn)
144{
9dd921cf 145 *(int *)rtn = kvmppc_core_check_processor_compat();
bbf45ba5
HB
146}
147
148struct kvm *kvm_arch_create_vm(void)
149{
150 struct kvm *kvm;
151
152 kvm = kzalloc(sizeof(struct kvm), GFP_KERNEL);
153 if (!kvm)
154 return ERR_PTR(-ENOMEM);
155
156 return kvm;
157}
158
159static void kvmppc_free_vcpus(struct kvm *kvm)
160{
161 unsigned int i;
988a2cae 162 struct kvm_vcpu *vcpu;
bbf45ba5 163
988a2cae
GN
164 kvm_for_each_vcpu(i, vcpu, kvm)
165 kvm_arch_vcpu_free(vcpu);
166
167 mutex_lock(&kvm->lock);
168 for (i = 0; i < atomic_read(&kvm->online_vcpus); i++)
169 kvm->vcpus[i] = NULL;
170
171 atomic_set(&kvm->online_vcpus, 0);
172 mutex_unlock(&kvm->lock);
bbf45ba5
HB
173}
174
ad8ba2cd
SY
175void kvm_arch_sync_events(struct kvm *kvm)
176{
177}
178
bbf45ba5
HB
179void kvm_arch_destroy_vm(struct kvm *kvm)
180{
181 kvmppc_free_vcpus(kvm);
182 kvm_free_physmem(kvm);
64749204 183 cleanup_srcu_struct(&kvm->srcu);
bbf45ba5
HB
184 kfree(kvm);
185}
186
187int kvm_dev_ioctl_check_extension(long ext)
188{
189 int r;
190
191 switch (ext) {
e15a1137 192 case KVM_CAP_PPC_SEGSTATE:
c10207fe 193 case KVM_CAP_PPC_PAIRED_SINGLES:
18978768 194 case KVM_CAP_PPC_UNSET_IRQ:
71fbfd5f 195 case KVM_CAP_ENABLE_CAP:
ad0a048b 196 case KVM_CAP_PPC_OSI:
15711e9c 197 case KVM_CAP_PPC_GET_PVINFO:
e15a1137
AG
198 r = 1;
199 break;
588968b6
LV
200 case KVM_CAP_COALESCED_MMIO:
201 r = KVM_COALESCED_MMIO_PAGE_OFFSET;
202 break;
bbf45ba5
HB
203 default:
204 r = 0;
205 break;
206 }
207 return r;
208
209}
210
211long kvm_arch_dev_ioctl(struct file *filp,
212 unsigned int ioctl, unsigned long arg)
213{
214 return -EINVAL;
215}
216
f7784b8e
MT
217int kvm_arch_prepare_memory_region(struct kvm *kvm,
218 struct kvm_memory_slot *memslot,
219 struct kvm_memory_slot old,
220 struct kvm_userspace_memory_region *mem,
221 int user_alloc)
bbf45ba5
HB
222{
223 return 0;
224}
225
f7784b8e
MT
226void kvm_arch_commit_memory_region(struct kvm *kvm,
227 struct kvm_userspace_memory_region *mem,
228 struct kvm_memory_slot old,
229 int user_alloc)
230{
231 return;
232}
233
234
34d4cb8f
MT
235void kvm_arch_flush_shadow(struct kvm *kvm)
236{
237}
238
bbf45ba5
HB
239struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id)
240{
73e75b41
HB
241 struct kvm_vcpu *vcpu;
242 vcpu = kvmppc_core_vcpu_create(kvm, id);
06056bfb
WY
243 if (!IS_ERR(vcpu))
244 kvmppc_create_vcpu_debugfs(vcpu, id);
73e75b41 245 return vcpu;
bbf45ba5
HB
246}
247
248void kvm_arch_vcpu_free(struct kvm_vcpu *vcpu)
249{
a595405d
AG
250 /* Make sure we're not using the vcpu anymore */
251 hrtimer_cancel(&vcpu->arch.dec_timer);
252 tasklet_kill(&vcpu->arch.tasklet);
253
73e75b41 254 kvmppc_remove_vcpu_debugfs(vcpu);
db93f574 255 kvmppc_core_vcpu_free(vcpu);
bbf45ba5
HB
256}
257
258void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu)
259{
260 kvm_arch_vcpu_free(vcpu);
261}
262
263int kvm_cpu_has_pending_timer(struct kvm_vcpu *vcpu)
264{
9dd921cf 265 return kvmppc_core_pending_dec(vcpu);
bbf45ba5
HB
266}
267
268static void kvmppc_decrementer_func(unsigned long data)
269{
270 struct kvm_vcpu *vcpu = (struct kvm_vcpu *)data;
271
9dd921cf 272 kvmppc_core_queue_dec(vcpu);
45c5eb67
HB
273
274 if (waitqueue_active(&vcpu->wq)) {
275 wake_up_interruptible(&vcpu->wq);
276 vcpu->stat.halt_wakeup++;
277 }
bbf45ba5
HB
278}
279
544c6761
AG
280/*
281 * low level hrtimer wake routine. Because this runs in hardirq context
282 * we schedule a tasklet to do the real work.
283 */
284enum hrtimer_restart kvmppc_decrementer_wakeup(struct hrtimer *timer)
285{
286 struct kvm_vcpu *vcpu;
287
288 vcpu = container_of(timer, struct kvm_vcpu, arch.dec_timer);
289 tasklet_schedule(&vcpu->arch.tasklet);
290
291 return HRTIMER_NORESTART;
292}
293
bbf45ba5
HB
294int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
295{
544c6761
AG
296 hrtimer_init(&vcpu->arch.dec_timer, CLOCK_REALTIME, HRTIMER_MODE_ABS);
297 tasklet_init(&vcpu->arch.tasklet, kvmppc_decrementer_func, (ulong)vcpu);
298 vcpu->arch.dec_timer.function = kvmppc_decrementer_wakeup;
bbf45ba5
HB
299
300 return 0;
301}
302
303void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu)
304{
ecc0981f 305 kvmppc_mmu_destroy(vcpu);
bbf45ba5
HB
306}
307
308void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu)
309{
9dd921cf 310 kvmppc_core_vcpu_load(vcpu, cpu);
bbf45ba5
HB
311}
312
313void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu)
314{
9dd921cf 315 kvmppc_core_vcpu_put(vcpu);
bbf45ba5
HB
316}
317
d0bfb940 318int kvm_arch_vcpu_ioctl_set_guest_debug(struct kvm_vcpu *vcpu,
f5d0906b 319 struct kvm_guest_debug *dbg)
bbf45ba5 320{
f5d0906b 321 return -EINVAL;
bbf45ba5
HB
322}
323
324static void kvmppc_complete_dcr_load(struct kvm_vcpu *vcpu,
325 struct kvm_run *run)
326{
8e5b26b5 327 kvmppc_set_gpr(vcpu, vcpu->arch.io_gpr, run->dcr.data);
bbf45ba5
HB
328}
329
330static void kvmppc_complete_mmio_load(struct kvm_vcpu *vcpu,
331 struct kvm_run *run)
332{
69b61833 333 u64 uninitialized_var(gpr);
bbf45ba5 334
8e5b26b5 335 if (run->mmio.len > sizeof(gpr)) {
bbf45ba5
HB
336 printk(KERN_ERR "bad MMIO length: %d\n", run->mmio.len);
337 return;
338 }
339
340 if (vcpu->arch.mmio_is_bigendian) {
341 switch (run->mmio.len) {
b104d066 342 case 8: gpr = *(u64 *)run->mmio.data; break;
8e5b26b5
AG
343 case 4: gpr = *(u32 *)run->mmio.data; break;
344 case 2: gpr = *(u16 *)run->mmio.data; break;
345 case 1: gpr = *(u8 *)run->mmio.data; break;
bbf45ba5
HB
346 }
347 } else {
348 /* Convert BE data from userland back to LE. */
349 switch (run->mmio.len) {
8e5b26b5
AG
350 case 4: gpr = ld_le32((u32 *)run->mmio.data); break;
351 case 2: gpr = ld_le16((u16 *)run->mmio.data); break;
352 case 1: gpr = *(u8 *)run->mmio.data; break;
bbf45ba5
HB
353 }
354 }
8e5b26b5 355
3587d534
AG
356 if (vcpu->arch.mmio_sign_extend) {
357 switch (run->mmio.len) {
358#ifdef CONFIG_PPC64
359 case 4:
360 gpr = (s64)(s32)gpr;
361 break;
362#endif
363 case 2:
364 gpr = (s64)(s16)gpr;
365 break;
366 case 1:
367 gpr = (s64)(s8)gpr;
368 break;
369 }
370 }
371
8e5b26b5 372 kvmppc_set_gpr(vcpu, vcpu->arch.io_gpr, gpr);
b104d066
AG
373
374 switch (vcpu->arch.io_gpr & KVM_REG_EXT_MASK) {
375 case KVM_REG_GPR:
376 kvmppc_set_gpr(vcpu, vcpu->arch.io_gpr, gpr);
377 break;
378 case KVM_REG_FPR:
379 vcpu->arch.fpr[vcpu->arch.io_gpr & KVM_REG_MASK] = gpr;
380 break;
287d5611 381#ifdef CONFIG_PPC_BOOK3S
b104d066
AG
382 case KVM_REG_QPR:
383 vcpu->arch.qpr[vcpu->arch.io_gpr & KVM_REG_MASK] = gpr;
384 break;
385 case KVM_REG_FQPR:
386 vcpu->arch.fpr[vcpu->arch.io_gpr & KVM_REG_MASK] = gpr;
387 vcpu->arch.qpr[vcpu->arch.io_gpr & KVM_REG_MASK] = gpr;
388 break;
287d5611 389#endif
b104d066
AG
390 default:
391 BUG();
392 }
bbf45ba5
HB
393}
394
395int kvmppc_handle_load(struct kvm_run *run, struct kvm_vcpu *vcpu,
396 unsigned int rt, unsigned int bytes, int is_bigendian)
397{
398 if (bytes > sizeof(run->mmio.data)) {
399 printk(KERN_ERR "%s: bad MMIO length: %d\n", __func__,
400 run->mmio.len);
401 }
402
403 run->mmio.phys_addr = vcpu->arch.paddr_accessed;
404 run->mmio.len = bytes;
405 run->mmio.is_write = 0;
406
407 vcpu->arch.io_gpr = rt;
408 vcpu->arch.mmio_is_bigendian = is_bigendian;
409 vcpu->mmio_needed = 1;
410 vcpu->mmio_is_write = 0;
3587d534 411 vcpu->arch.mmio_sign_extend = 0;
bbf45ba5
HB
412
413 return EMULATE_DO_MMIO;
414}
415
3587d534
AG
416/* Same as above, but sign extends */
417int kvmppc_handle_loads(struct kvm_run *run, struct kvm_vcpu *vcpu,
418 unsigned int rt, unsigned int bytes, int is_bigendian)
419{
420 int r;
421
422 r = kvmppc_handle_load(run, vcpu, rt, bytes, is_bigendian);
423 vcpu->arch.mmio_sign_extend = 1;
424
425 return r;
426}
427
bbf45ba5 428int kvmppc_handle_store(struct kvm_run *run, struct kvm_vcpu *vcpu,
b104d066 429 u64 val, unsigned int bytes, int is_bigendian)
bbf45ba5
HB
430{
431 void *data = run->mmio.data;
432
433 if (bytes > sizeof(run->mmio.data)) {
434 printk(KERN_ERR "%s: bad MMIO length: %d\n", __func__,
435 run->mmio.len);
436 }
437
438 run->mmio.phys_addr = vcpu->arch.paddr_accessed;
439 run->mmio.len = bytes;
440 run->mmio.is_write = 1;
441 vcpu->mmio_needed = 1;
442 vcpu->mmio_is_write = 1;
443
444 /* Store the value at the lowest bytes in 'data'. */
445 if (is_bigendian) {
446 switch (bytes) {
b104d066 447 case 8: *(u64 *)data = val; break;
bbf45ba5
HB
448 case 4: *(u32 *)data = val; break;
449 case 2: *(u16 *)data = val; break;
450 case 1: *(u8 *)data = val; break;
451 }
452 } else {
453 /* Store LE value into 'data'. */
454 switch (bytes) {
455 case 4: st_le32(data, val); break;
456 case 2: st_le16(data, val); break;
457 case 1: *(u8 *)data = val; break;
458 }
459 }
460
461 return EMULATE_DO_MMIO;
462}
463
464int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *run)
465{
466 int r;
467 sigset_t sigsaved;
468
469 if (vcpu->sigset_active)
470 sigprocmask(SIG_SETMASK, &vcpu->sigset, &sigsaved);
471
472 if (vcpu->mmio_needed) {
473 if (!vcpu->mmio_is_write)
474 kvmppc_complete_mmio_load(vcpu, run);
475 vcpu->mmio_needed = 0;
476 } else if (vcpu->arch.dcr_needed) {
477 if (!vcpu->arch.dcr_is_write)
478 kvmppc_complete_dcr_load(vcpu, run);
479 vcpu->arch.dcr_needed = 0;
ad0a048b
AG
480 } else if (vcpu->arch.osi_needed) {
481 u64 *gprs = run->osi.gprs;
482 int i;
483
484 for (i = 0; i < 32; i++)
485 kvmppc_set_gpr(vcpu, i, gprs[i]);
486 vcpu->arch.osi_needed = 0;
bbf45ba5
HB
487 }
488
9dd921cf 489 kvmppc_core_deliver_interrupts(vcpu);
bbf45ba5
HB
490
491 local_irq_disable();
492 kvm_guest_enter();
493 r = __kvmppc_vcpu_run(run, vcpu);
494 kvm_guest_exit();
495 local_irq_enable();
496
497 if (vcpu->sigset_active)
498 sigprocmask(SIG_SETMASK, &sigsaved, NULL);
499
500 return r;
501}
502
503int kvm_vcpu_ioctl_interrupt(struct kvm_vcpu *vcpu, struct kvm_interrupt *irq)
504{
18978768
AG
505 if (irq->irq == KVM_INTERRUPT_UNSET)
506 kvmppc_core_dequeue_external(vcpu, irq);
507 else
508 kvmppc_core_queue_external(vcpu, irq);
45c5eb67
HB
509
510 if (waitqueue_active(&vcpu->wq)) {
511 wake_up_interruptible(&vcpu->wq);
512 vcpu->stat.halt_wakeup++;
513 }
514
bbf45ba5
HB
515 return 0;
516}
517
71fbfd5f
AG
518static int kvm_vcpu_ioctl_enable_cap(struct kvm_vcpu *vcpu,
519 struct kvm_enable_cap *cap)
520{
521 int r;
522
523 if (cap->flags)
524 return -EINVAL;
525
526 switch (cap->cap) {
ad0a048b
AG
527 case KVM_CAP_PPC_OSI:
528 r = 0;
529 vcpu->arch.osi_enabled = true;
530 break;
71fbfd5f
AG
531 default:
532 r = -EINVAL;
533 break;
534 }
535
536 return r;
537}
538
bbf45ba5
HB
539int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
540 struct kvm_mp_state *mp_state)
541{
542 return -EINVAL;
543}
544
545int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
546 struct kvm_mp_state *mp_state)
547{
548 return -EINVAL;
549}
550
551long kvm_arch_vcpu_ioctl(struct file *filp,
552 unsigned int ioctl, unsigned long arg)
553{
554 struct kvm_vcpu *vcpu = filp->private_data;
555 void __user *argp = (void __user *)arg;
556 long r;
557
93736624
AK
558 switch (ioctl) {
559 case KVM_INTERRUPT: {
bbf45ba5
HB
560 struct kvm_interrupt irq;
561 r = -EFAULT;
562 if (copy_from_user(&irq, argp, sizeof(irq)))
93736624 563 goto out;
bbf45ba5 564 r = kvm_vcpu_ioctl_interrupt(vcpu, &irq);
93736624 565 goto out;
bbf45ba5 566 }
19483d14 567
71fbfd5f
AG
568 case KVM_ENABLE_CAP:
569 {
570 struct kvm_enable_cap cap;
571 r = -EFAULT;
572 if (copy_from_user(&cap, argp, sizeof(cap)))
573 goto out;
574 r = kvm_vcpu_ioctl_enable_cap(vcpu, &cap);
575 break;
576 }
bbf45ba5
HB
577 default:
578 r = -EINVAL;
579 }
580
581out:
582 return r;
583}
584
15711e9c
AG
585static int kvm_vm_ioctl_get_pvinfo(struct kvm_ppc_pvinfo *pvinfo)
586{
587 u32 inst_lis = 0x3c000000;
588 u32 inst_ori = 0x60000000;
589 u32 inst_nop = 0x60000000;
590 u32 inst_sc = 0x44000002;
591 u32 inst_imm_mask = 0xffff;
592
593 /*
594 * The hypercall to get into KVM from within guest context is as
595 * follows:
596 *
597 * lis r0, r0, KVM_SC_MAGIC_R0@h
598 * ori r0, KVM_SC_MAGIC_R0@l
599 * sc
600 * nop
601 */
602 pvinfo->hcall[0] = inst_lis | ((KVM_SC_MAGIC_R0 >> 16) & inst_imm_mask);
603 pvinfo->hcall[1] = inst_ori | (KVM_SC_MAGIC_R0 & inst_imm_mask);
604 pvinfo->hcall[2] = inst_sc;
605 pvinfo->hcall[3] = inst_nop;
606
607 return 0;
608}
609
bbf45ba5
HB
610long kvm_arch_vm_ioctl(struct file *filp,
611 unsigned int ioctl, unsigned long arg)
612{
15711e9c 613 void __user *argp = (void __user *)arg;
bbf45ba5
HB
614 long r;
615
616 switch (ioctl) {
15711e9c
AG
617 case KVM_PPC_GET_PVINFO: {
618 struct kvm_ppc_pvinfo pvinfo;
619 r = kvm_vm_ioctl_get_pvinfo(&pvinfo);
620 if (copy_to_user(argp, &pvinfo, sizeof(pvinfo))) {
621 r = -EFAULT;
622 goto out;
623 }
624
625 break;
626 }
bbf45ba5 627 default:
367e1319 628 r = -ENOTTY;
bbf45ba5
HB
629 }
630
15711e9c 631out:
bbf45ba5
HB
632 return r;
633}
634
635int kvm_arch_init(void *opaque)
636{
637 return 0;
638}
639
640void kvm_arch_exit(void)
641{
642}