2 * s390host.c -- hosting zSeries kernel virtual machines
4 * Copyright IBM Corp. 2008,2009
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License (version 2 only)
8 * as published by the Free Software Foundation.
10 * Author(s): Carsten Otte <cotte@de.ibm.com>
11 * Christian Borntraeger <borntraeger@de.ibm.com>
12 * Heiko Carstens <heiko.carstens@de.ibm.com>
13 * Christian Ehrhardt <ehrhardt@de.ibm.com>
16 #include <linux/compiler.h>
17 #include <linux/err.h>
19 #include <linux/hrtimer.h>
20 #include <linux/init.h>
21 #include <linux/kvm.h>
22 #include <linux/kvm_host.h>
23 #include <linux/module.h>
24 #include <linux/slab.h>
25 #include <linux/timer.h>
26 #include <asm/asm-offsets.h>
27 #include <asm/lowcore.h>
28 #include <asm/pgtable.h>
30 #include <asm/system.h>
34 #define VCPU_STAT(x) offsetof(struct kvm_vcpu, stat.x), KVM_STAT_VCPU
36 struct kvm_stats_debugfs_item debugfs_entries[] = {
37 { "userspace_handled", VCPU_STAT(exit_userspace) },
38 { "exit_null", VCPU_STAT(exit_null) },
39 { "exit_validity", VCPU_STAT(exit_validity) },
40 { "exit_stop_request", VCPU_STAT(exit_stop_request) },
41 { "exit_external_request", VCPU_STAT(exit_external_request) },
42 { "exit_external_interrupt", VCPU_STAT(exit_external_interrupt) },
43 { "exit_instruction", VCPU_STAT(exit_instruction) },
44 { "exit_program_interruption", VCPU_STAT(exit_program_interruption) },
45 { "exit_instr_and_program_int", VCPU_STAT(exit_instr_and_program) },
46 { "instruction_lctlg", VCPU_STAT(instruction_lctlg) },
47 { "instruction_lctl", VCPU_STAT(instruction_lctl) },
48 { "deliver_emergency_signal", VCPU_STAT(deliver_emergency_signal) },
49 { "deliver_service_signal", VCPU_STAT(deliver_service_signal) },
50 { "deliver_virtio_interrupt", VCPU_STAT(deliver_virtio_interrupt) },
51 { "deliver_stop_signal", VCPU_STAT(deliver_stop_signal) },
52 { "deliver_prefix_signal", VCPU_STAT(deliver_prefix_signal) },
53 { "deliver_restart_signal", VCPU_STAT(deliver_restart_signal) },
54 { "deliver_program_interruption", VCPU_STAT(deliver_program_int) },
55 { "exit_wait_state", VCPU_STAT(exit_wait_state) },
56 { "instruction_stidp", VCPU_STAT(instruction_stidp) },
57 { "instruction_spx", VCPU_STAT(instruction_spx) },
58 { "instruction_stpx", VCPU_STAT(instruction_stpx) },
59 { "instruction_stap", VCPU_STAT(instruction_stap) },
60 { "instruction_storage_key", VCPU_STAT(instruction_storage_key) },
61 { "instruction_stsch", VCPU_STAT(instruction_stsch) },
62 { "instruction_chsc", VCPU_STAT(instruction_chsc) },
63 { "instruction_stsi", VCPU_STAT(instruction_stsi) },
64 { "instruction_stfl", VCPU_STAT(instruction_stfl) },
65 { "instruction_sigp_sense", VCPU_STAT(instruction_sigp_sense) },
66 { "instruction_sigp_emergency", VCPU_STAT(instruction_sigp_emergency) },
67 { "instruction_sigp_stop", VCPU_STAT(instruction_sigp_stop) },
68 { "instruction_sigp_set_arch", VCPU_STAT(instruction_sigp_arch) },
69 { "instruction_sigp_set_prefix", VCPU_STAT(instruction_sigp_prefix) },
70 { "instruction_sigp_restart", VCPU_STAT(instruction_sigp_restart) },
71 { "diagnose_44", VCPU_STAT(diagnose_44) },
75 static unsigned long long *facilities;
77 /* Section: not file related */
78 int kvm_arch_hardware_enable(void *garbage)
80 /* every s390 is virtualization enabled ;-) */
84 void kvm_arch_hardware_disable(void *garbage)
88 int kvm_arch_hardware_setup(void)
93 void kvm_arch_hardware_unsetup(void)
97 void kvm_arch_check_processor_compat(void *rtn)
101 int kvm_arch_init(void *opaque)
106 void kvm_arch_exit(void)
110 /* Section: device related */
111 long kvm_arch_dev_ioctl(struct file *filp,
112 unsigned int ioctl, unsigned long arg)
114 if (ioctl == KVM_S390_ENABLE_SIE)
115 return s390_enable_sie();
119 int kvm_dev_ioctl_check_extension(long ext)
124 case KVM_CAP_S390_PSW:
133 /* Section: vm related */
135 * Get (and clear) the dirty memory log for a memory slot.
137 int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm,
138 struct kvm_dirty_log *log)
143 long kvm_arch_vm_ioctl(struct file *filp,
144 unsigned int ioctl, unsigned long arg)
146 struct kvm *kvm = filp->private_data;
147 void __user *argp = (void __user *)arg;
151 case KVM_S390_INTERRUPT: {
152 struct kvm_s390_interrupt s390int;
155 if (copy_from_user(&s390int, argp, sizeof(s390int)))
157 r = kvm_s390_inject_vm(kvm, &s390int);
167 struct kvm *kvm_arch_create_vm(void)
173 rc = s390_enable_sie();
178 kvm = kzalloc(sizeof(struct kvm), GFP_KERNEL);
182 kvm->arch.sca = (struct sca_block *) get_zeroed_page(GFP_KERNEL);
186 sprintf(debug_name, "kvm-%u", current->pid);
188 kvm->arch.dbf = debug_register(debug_name, 8, 2, 8 * sizeof(long));
192 spin_lock_init(&kvm->arch.float_int.lock);
193 INIT_LIST_HEAD(&kvm->arch.float_int.list);
195 debug_register_view(kvm->arch.dbf, &debug_sprintf_view);
196 VM_EVENT(kvm, 3, "%s", "vm created");
200 free_page((unsigned long)(kvm->arch.sca));
207 void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu)
209 VCPU_EVENT(vcpu, 3, "%s", "free cpu");
210 clear_bit(63 - vcpu->vcpu_id, (unsigned long *) &vcpu->kvm->arch.sca->mcn);
211 if (vcpu->kvm->arch.sca->cpu[vcpu->vcpu_id].sda ==
212 (__u64) vcpu->arch.sie_block)
213 vcpu->kvm->arch.sca->cpu[vcpu->vcpu_id].sda = 0;
215 free_page((unsigned long)(vcpu->arch.sie_block));
216 kvm_vcpu_uninit(vcpu);
220 static void kvm_free_vcpus(struct kvm *kvm)
223 struct kvm_vcpu *vcpu;
225 kvm_for_each_vcpu(i, vcpu, kvm)
226 kvm_arch_vcpu_destroy(vcpu);
228 mutex_lock(&kvm->lock);
229 for (i = 0; i < atomic_read(&kvm->online_vcpus); i++)
230 kvm->vcpus[i] = NULL;
232 atomic_set(&kvm->online_vcpus, 0);
233 mutex_unlock(&kvm->lock);
236 void kvm_arch_sync_events(struct kvm *kvm)
240 void kvm_arch_destroy_vm(struct kvm *kvm)
243 kvm_free_physmem(kvm);
244 free_page((unsigned long)(kvm->arch.sca));
245 debug_unregister(kvm->arch.dbf);
246 cleanup_srcu_struct(&kvm->srcu);
250 /* Section: vcpu related */
251 int kvm_arch_vcpu_init(struct kvm_vcpu *vcpu)
256 void kvm_arch_vcpu_uninit(struct kvm_vcpu *vcpu)
261 void kvm_arch_vcpu_load(struct kvm_vcpu *vcpu, int cpu)
263 save_fp_regs(&vcpu->arch.host_fpregs);
264 save_access_regs(vcpu->arch.host_acrs);
265 vcpu->arch.guest_fpregs.fpc &= FPC_VALID_MASK;
266 restore_fp_regs(&vcpu->arch.guest_fpregs);
267 restore_access_regs(vcpu->arch.guest_acrs);
270 void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu)
272 save_fp_regs(&vcpu->arch.guest_fpregs);
273 save_access_regs(vcpu->arch.guest_acrs);
274 restore_fp_regs(&vcpu->arch.host_fpregs);
275 restore_access_regs(vcpu->arch.host_acrs);
278 static void kvm_s390_vcpu_initial_reset(struct kvm_vcpu *vcpu)
280 /* this equals initial cpu reset in pop, but we don't switch to ESA */
281 vcpu->arch.sie_block->gpsw.mask = 0UL;
282 vcpu->arch.sie_block->gpsw.addr = 0UL;
283 vcpu->arch.sie_block->prefix = 0UL;
284 vcpu->arch.sie_block->ihcpu = 0xffff;
285 vcpu->arch.sie_block->cputm = 0UL;
286 vcpu->arch.sie_block->ckc = 0UL;
287 vcpu->arch.sie_block->todpr = 0;
288 memset(vcpu->arch.sie_block->gcr, 0, 16 * sizeof(__u64));
289 vcpu->arch.sie_block->gcr[0] = 0xE0UL;
290 vcpu->arch.sie_block->gcr[14] = 0xC2000000UL;
291 vcpu->arch.guest_fpregs.fpc = 0;
292 asm volatile("lfpc %0" : : "Q" (vcpu->arch.guest_fpregs.fpc));
293 vcpu->arch.sie_block->gbea = 1;
296 int kvm_arch_vcpu_setup(struct kvm_vcpu *vcpu)
298 atomic_set(&vcpu->arch.sie_block->cpuflags, CPUSTAT_ZARCH);
299 set_bit(KVM_REQ_MMU_RELOAD, &vcpu->requests);
300 vcpu->arch.sie_block->ecb = 6;
301 vcpu->arch.sie_block->eca = 0xC1002001U;
302 vcpu->arch.sie_block->fac = (int) (long) facilities;
303 hrtimer_init(&vcpu->arch.ckc_timer, CLOCK_REALTIME, HRTIMER_MODE_ABS);
304 tasklet_init(&vcpu->arch.tasklet, kvm_s390_tasklet,
305 (unsigned long) vcpu);
306 vcpu->arch.ckc_timer.function = kvm_s390_idle_wakeup;
307 get_cpu_id(&vcpu->arch.cpu_id);
308 vcpu->arch.cpu_id.version = 0xff;
312 struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm,
315 struct kvm_vcpu *vcpu = kzalloc(sizeof(struct kvm_vcpu), GFP_KERNEL);
321 vcpu->arch.sie_block = (struct kvm_s390_sie_block *)
322 get_zeroed_page(GFP_KERNEL);
324 if (!vcpu->arch.sie_block)
327 vcpu->arch.sie_block->icpua = id;
328 BUG_ON(!kvm->arch.sca);
329 if (!kvm->arch.sca->cpu[id].sda)
330 kvm->arch.sca->cpu[id].sda = (__u64) vcpu->arch.sie_block;
331 vcpu->arch.sie_block->scaoh = (__u32)(((__u64)kvm->arch.sca) >> 32);
332 vcpu->arch.sie_block->scaol = (__u32)(__u64)kvm->arch.sca;
333 set_bit(63 - id, (unsigned long *) &kvm->arch.sca->mcn);
335 spin_lock_init(&vcpu->arch.local_int.lock);
336 INIT_LIST_HEAD(&vcpu->arch.local_int.list);
337 vcpu->arch.local_int.float_int = &kvm->arch.float_int;
338 spin_lock(&kvm->arch.float_int.lock);
339 kvm->arch.float_int.local_int[id] = &vcpu->arch.local_int;
340 init_waitqueue_head(&vcpu->arch.local_int.wq);
341 vcpu->arch.local_int.cpuflags = &vcpu->arch.sie_block->cpuflags;
342 spin_unlock(&kvm->arch.float_int.lock);
344 rc = kvm_vcpu_init(vcpu, kvm, id);
346 goto out_free_sie_block;
347 VM_EVENT(kvm, 3, "create cpu %d at %p, sie block at %p", id, vcpu,
348 vcpu->arch.sie_block);
352 free_page((unsigned long)(vcpu->arch.sie_block));
359 int kvm_arch_vcpu_runnable(struct kvm_vcpu *vcpu)
361 /* kvm common code refers to this, but never calls it */
366 static int kvm_arch_vcpu_ioctl_initial_reset(struct kvm_vcpu *vcpu)
368 kvm_s390_vcpu_initial_reset(vcpu);
372 int kvm_arch_vcpu_ioctl_set_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs)
374 memcpy(&vcpu->arch.guest_gprs, ®s->gprs, sizeof(regs->gprs));
378 int kvm_arch_vcpu_ioctl_get_regs(struct kvm_vcpu *vcpu, struct kvm_regs *regs)
380 memcpy(®s->gprs, &vcpu->arch.guest_gprs, sizeof(regs->gprs));
384 int kvm_arch_vcpu_ioctl_set_sregs(struct kvm_vcpu *vcpu,
385 struct kvm_sregs *sregs)
387 memcpy(&vcpu->arch.guest_acrs, &sregs->acrs, sizeof(sregs->acrs));
388 memcpy(&vcpu->arch.sie_block->gcr, &sregs->crs, sizeof(sregs->crs));
392 int kvm_arch_vcpu_ioctl_get_sregs(struct kvm_vcpu *vcpu,
393 struct kvm_sregs *sregs)
395 memcpy(&sregs->acrs, &vcpu->arch.guest_acrs, sizeof(sregs->acrs));
396 memcpy(&sregs->crs, &vcpu->arch.sie_block->gcr, sizeof(sregs->crs));
400 int kvm_arch_vcpu_ioctl_set_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu)
402 memcpy(&vcpu->arch.guest_fpregs.fprs, &fpu->fprs, sizeof(fpu->fprs));
403 vcpu->arch.guest_fpregs.fpc = fpu->fpc;
407 int kvm_arch_vcpu_ioctl_get_fpu(struct kvm_vcpu *vcpu, struct kvm_fpu *fpu)
409 memcpy(&fpu->fprs, &vcpu->arch.guest_fpregs.fprs, sizeof(fpu->fprs));
410 fpu->fpc = vcpu->arch.guest_fpregs.fpc;
414 static int kvm_arch_vcpu_ioctl_set_initial_psw(struct kvm_vcpu *vcpu, psw_t psw)
418 if (atomic_read(&vcpu->arch.sie_block->cpuflags) & CPUSTAT_RUNNING)
421 vcpu->run->psw_mask = psw.mask;
422 vcpu->run->psw_addr = psw.addr;
427 int kvm_arch_vcpu_ioctl_translate(struct kvm_vcpu *vcpu,
428 struct kvm_translation *tr)
430 return -EINVAL; /* not implemented yet */
433 int kvm_arch_vcpu_ioctl_set_guest_debug(struct kvm_vcpu *vcpu,
434 struct kvm_guest_debug *dbg)
436 return -EINVAL; /* not implemented yet */
439 int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
440 struct kvm_mp_state *mp_state)
442 return -EINVAL; /* not implemented yet */
445 int kvm_arch_vcpu_ioctl_set_mpstate(struct kvm_vcpu *vcpu,
446 struct kvm_mp_state *mp_state)
448 return -EINVAL; /* not implemented yet */
451 static void __vcpu_run(struct kvm_vcpu *vcpu)
453 memcpy(&vcpu->arch.sie_block->gg14, &vcpu->arch.guest_gprs[14], 16);
458 if (test_thread_flag(TIF_MCCK_PENDING))
461 kvm_s390_deliver_pending_interrupts(vcpu);
463 vcpu->arch.sie_block->icptcode = 0;
467 VCPU_EVENT(vcpu, 6, "entering sie flags %x",
468 atomic_read(&vcpu->arch.sie_block->cpuflags));
469 if (sie64a(vcpu->arch.sie_block, vcpu->arch.guest_gprs)) {
470 VCPU_EVENT(vcpu, 3, "%s", "fault in sie instruction");
471 kvm_s390_inject_program_int(vcpu, PGM_ADDRESSING);
473 VCPU_EVENT(vcpu, 6, "exit sie icptcode %d",
474 vcpu->arch.sie_block->icptcode);
479 memcpy(&vcpu->arch.guest_gprs[14], &vcpu->arch.sie_block->gg14, 16);
482 int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *kvm_run)
489 if (test_and_clear_bit(KVM_REQ_MMU_RELOAD, &vcpu->requests))
490 kvm_s390_vcpu_set_mem(vcpu);
492 /* verify, that memory has been registered */
493 if (!vcpu->arch.sie_block->gmslm) {
495 VCPU_EVENT(vcpu, 3, "%s", "no memory registered to run vcpu");
499 if (vcpu->sigset_active)
500 sigprocmask(SIG_SETMASK, &vcpu->sigset, &sigsaved);
502 atomic_set_mask(CPUSTAT_RUNNING, &vcpu->arch.sie_block->cpuflags);
504 BUG_ON(vcpu->kvm->arch.float_int.local_int[vcpu->vcpu_id] == NULL);
506 switch (kvm_run->exit_reason) {
507 case KVM_EXIT_S390_SIEIC:
508 case KVM_EXIT_UNKNOWN:
510 case KVM_EXIT_S390_RESET:
516 vcpu->arch.sie_block->gpsw.mask = kvm_run->psw_mask;
517 vcpu->arch.sie_block->gpsw.addr = kvm_run->psw_addr;
523 rc = kvm_handle_sie_intercept(vcpu);
524 } while (!signal_pending(current) && !rc);
526 if (rc == SIE_INTERCEPT_RERUNVCPU)
529 if (signal_pending(current) && !rc) {
530 kvm_run->exit_reason = KVM_EXIT_INTR;
534 if (rc == -EOPNOTSUPP) {
535 /* intercept cannot be handled in-kernel, prepare kvm-run */
536 kvm_run->exit_reason = KVM_EXIT_S390_SIEIC;
537 kvm_run->s390_sieic.icptcode = vcpu->arch.sie_block->icptcode;
538 kvm_run->s390_sieic.ipa = vcpu->arch.sie_block->ipa;
539 kvm_run->s390_sieic.ipb = vcpu->arch.sie_block->ipb;
543 if (rc == -EREMOTE) {
544 /* intercept was handled, but userspace support is needed
545 * kvm_run has been prepared by the handler */
549 kvm_run->psw_mask = vcpu->arch.sie_block->gpsw.mask;
550 kvm_run->psw_addr = vcpu->arch.sie_block->gpsw.addr;
552 if (vcpu->sigset_active)
553 sigprocmask(SIG_SETMASK, &sigsaved, NULL);
555 vcpu->stat.exit_userspace++;
559 static int __guestcopy(struct kvm_vcpu *vcpu, u64 guestdest, const void *from,
560 unsigned long n, int prefix)
563 return copy_to_guest(vcpu, guestdest, from, n);
565 return copy_to_guest_absolute(vcpu, guestdest, from, n);
569 * store status at address
570 * we use have two special cases:
571 * KVM_S390_STORE_STATUS_NOADDR: -> 0x1200 on 64 bit
572 * KVM_S390_STORE_STATUS_PREFIXED: -> prefix
574 int kvm_s390_vcpu_store_status(struct kvm_vcpu *vcpu, unsigned long addr)
576 const unsigned char archmode = 1;
579 if (addr == KVM_S390_STORE_STATUS_NOADDR) {
580 if (copy_to_guest_absolute(vcpu, 163ul, &archmode, 1))
582 addr = SAVE_AREA_BASE;
584 } else if (addr == KVM_S390_STORE_STATUS_PREFIXED) {
585 if (copy_to_guest(vcpu, 163ul, &archmode, 1))
587 addr = SAVE_AREA_BASE;
592 if (__guestcopy(vcpu, addr + offsetof(struct save_area, fp_regs),
593 vcpu->arch.guest_fpregs.fprs, 128, prefix))
596 if (__guestcopy(vcpu, addr + offsetof(struct save_area, gp_regs),
597 vcpu->arch.guest_gprs, 128, prefix))
600 if (__guestcopy(vcpu, addr + offsetof(struct save_area, psw),
601 &vcpu->arch.sie_block->gpsw, 16, prefix))
604 if (__guestcopy(vcpu, addr + offsetof(struct save_area, pref_reg),
605 &vcpu->arch.sie_block->prefix, 4, prefix))
608 if (__guestcopy(vcpu,
609 addr + offsetof(struct save_area, fp_ctrl_reg),
610 &vcpu->arch.guest_fpregs.fpc, 4, prefix))
613 if (__guestcopy(vcpu, addr + offsetof(struct save_area, tod_reg),
614 &vcpu->arch.sie_block->todpr, 4, prefix))
617 if (__guestcopy(vcpu, addr + offsetof(struct save_area, timer),
618 &vcpu->arch.sie_block->cputm, 8, prefix))
621 if (__guestcopy(vcpu, addr + offsetof(struct save_area, clk_cmp),
622 &vcpu->arch.sie_block->ckc, 8, prefix))
625 if (__guestcopy(vcpu, addr + offsetof(struct save_area, acc_regs),
626 &vcpu->arch.guest_acrs, 64, prefix))
629 if (__guestcopy(vcpu,
630 addr + offsetof(struct save_area, ctrl_regs),
631 &vcpu->arch.sie_block->gcr, 128, prefix))
636 long kvm_arch_vcpu_ioctl(struct file *filp,
637 unsigned int ioctl, unsigned long arg)
639 struct kvm_vcpu *vcpu = filp->private_data;
640 void __user *argp = (void __user *)arg;
644 case KVM_S390_INTERRUPT: {
645 struct kvm_s390_interrupt s390int;
648 if (copy_from_user(&s390int, argp, sizeof(s390int)))
650 r = kvm_s390_inject_vcpu(vcpu, &s390int);
653 case KVM_S390_STORE_STATUS:
654 r = kvm_s390_vcpu_store_status(vcpu, arg);
656 case KVM_S390_SET_INITIAL_PSW: {
660 if (copy_from_user(&psw, argp, sizeof(psw)))
662 r = kvm_arch_vcpu_ioctl_set_initial_psw(vcpu, psw);
665 case KVM_S390_INITIAL_RESET:
666 r = kvm_arch_vcpu_ioctl_initial_reset(vcpu);
674 /* Section: memory related */
675 int kvm_arch_prepare_memory_region(struct kvm *kvm,
676 struct kvm_memory_slot *memslot,
677 struct kvm_memory_slot old,
678 struct kvm_userspace_memory_region *mem,
681 /* A few sanity checks. We can have exactly one memory slot which has
682 to start at guest virtual zero and which has to be located at a
683 page boundary in userland and which has to end at a page boundary.
684 The memory in userland is ok to be fragmented into various different
685 vmas. It is okay to mmap() and munmap() stuff in this slot after
686 doing this call at any time */
691 if (mem->guest_phys_addr)
694 if (mem->userspace_addr & (PAGE_SIZE - 1))
697 if (mem->memory_size & (PAGE_SIZE - 1))
706 void kvm_arch_commit_memory_region(struct kvm *kvm,
707 struct kvm_userspace_memory_region *mem,
708 struct kvm_memory_slot old,
712 struct kvm_vcpu *vcpu;
714 /* request update of sie control block for all available vcpus */
715 kvm_for_each_vcpu(i, vcpu, kvm) {
716 if (test_and_set_bit(KVM_REQ_MMU_RELOAD, &vcpu->requests))
718 kvm_s390_inject_sigp_stop(vcpu, ACTION_RELOADVCPU_ON_STOP);
722 void kvm_arch_flush_shadow(struct kvm *kvm)
726 static int __init kvm_s390_init(void)
729 ret = kvm_init(NULL, sizeof(struct kvm_vcpu), 0, THIS_MODULE);
734 * guests can ask for up to 255+1 double words, we need a full page
735 * to hold the maximum amount of facilites. On the other hand, we
736 * only set facilities that are known to work in KVM.
738 facilities = (unsigned long long *) get_zeroed_page(GFP_KERNEL|GFP_DMA);
743 stfle(facilities, 1);
744 facilities[0] &= 0xff00fff3f0700000ULL;
748 static void __exit kvm_s390_exit(void)
750 free_page((unsigned long) facilities);
754 module_init(kvm_s390_init);
755 module_exit(kvm_s390_exit);