LXR linux/arch/ia64/kvm/vmm.c

   1/*
   2 * vmm.c: vmm module interface with kvm module
   3 *
   4 * Copyright (c) 2007, Intel Corporation.
   5 *
   6 *  Xiantao Zhang (xiantao.zhang@intel.com)
   7 *
   8 * This program is free software; you can redistribute it and/or modify it
   9 * under the terms and conditions of the GNU General Public License,
  10 * version 2, as published by the Free Software Foundation.
  11 *
  12 * This program is distributed in the hope it will be useful, but WITHOUT
  13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
  15 * more details.
  16 *
  17 * You should have received a copy of the GNU General Public License along with
  18 * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
  19 * Place - Suite 330, Boston, MA 02111-1307 USA.
  20 */
  21
  22
  23#include<linux/kernel.h>
  24#include<linux/module.h>
  25#include<asm/fpswa.h>
  26
  27#include "vcpu.h"
  28
  29MODULE_AUTHOR("Intel");
  30MODULE_LICENSE("GPL");
  31
  32extern char kvm_ia64_ivt;
  33extern fpswa_interface_t *vmm_fpswa_interface;
  34
  35long vmm_sanity = 1;
  36
  37struct kvm_vmm_info vmm_info = {
  38        .module      = THIS_MODULE,
  39        .vmm_entry   = vmm_entry,
  40        .tramp_entry = vmm_trampoline,
  41        .vmm_ivt     = (unsigned long)&kvm_ia64_ivt,
  42};
  43
  44static int __init  kvm_vmm_init(void)
  45{
  46
  47        vmm_fpswa_interface = fpswa_interface;
  48
  49        /*Register vmm data to kvm side*/
  50        return kvm_init(&vmm_info, 1024, THIS_MODULE);
  51}
  52
  53static void __exit kvm_vmm_exit(void)
  54{
  55        kvm_exit();
  56        return ;
  57}
  58
  59void vmm_spin_lock(spinlock_t *lock)
  60{
  61        _vmm_raw_spin_lock(lock);
  62}
  63
  64void vmm_spin_unlock(spinlock_t *lock)
  65{
  66        _vmm_raw_spin_unlock(lock);
  67}
  68
  69static void vcpu_debug_exit(struct kvm_vcpu *vcpu)
  70{
  71        struct exit_ctl_data *p = &vcpu->arch.exit_data;
  72        long psr;
  73
  74        local_irq_save(psr);
  75        p->exit_reason = EXIT_REASON_DEBUG;
  76        vmm_transition(vcpu);
  77        local_irq_restore(psr);
  78}
  79
  80asmlinkage int printk(const char *fmt, ...)
  81{
  82        struct kvm_vcpu *vcpu = current_vcpu;
  83        va_list args;
  84        int r;
  85
  86        memset(vcpu->arch.log_buf, 0, VMM_LOG_LEN);
  87        va_start(args, fmt);
  88        r = vsnprintf(vcpu->arch.log_buf, VMM_LOG_LEN, fmt, args);
  89        va_end(args);
  90        vcpu_debug_exit(vcpu);
  91        return r;
  92}
  93
  94module_init(kvm_vmm_init)
  95module_exit(kvm_vmm_exit)
  96