/* * vmm.c: vmm module interface with kvm module * * Copyright (c) 2007, Intel Corporation. * * Xiantao Zhang (xiantao.zhang@intel.com) * * This program is free software; you can redistribute it and/or modify it * under the terms and conditions of the GNU General Public License, * version 2, as published by the Free Software Foundation. * * This program is distributed in the hope it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for * more details. * * You should have received a copy of the GNU General Public License along with * this program; if not, write to the Free Software Foundation, Inc., 59 Temple * Place - Suite 330, Boston, MA 02111-1307 USA. */ #include<linux/module.h> #include<asm/fpswa.h> #include "vcpu.h" MODULE_AUTHOR("Intel"); MODULE_LICENSE("GPL"); extern char kvm_ia64_ivt; extern fpswa_interface_t *vmm_fpswa_interface; struct kvm_vmm_info vmm_info = { .module = THIS_MODULE, .vmm_entry = vmm_entry, .tramp_entry = vmm_trampoline, .vmm_ivt = (unsigned long)&kvm_ia64_ivt, }; static int __init kvm_vmm_init(void) { vmm_fpswa_interface = fpswa_interface; /*Register vmm data to kvm side*/ return kvm_init(&vmm_info, 1024, THIS_MODULE); } static void __exit kvm_vmm_exit(void) { kvm_exit(); return ; } void vmm_spin_lock(spinlock_t *lock) { _vmm_raw_spin_lock(lock); } void vmm_spin_unlock(spinlock_t *lock) { _vmm_raw_spin_unlock(lock); } module_init(kvm_vmm_init) module_exit(kvm_vmm_exit)