[linux-2.6-block.git] / arch / ia64 / kvm / vmm.c

/*
 * 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/kernel.h>
#include<linux/module.h>
#include<asm/fpswa.h>

#include "vcpu.h"

MODULE_AUTHOR("Intel");
MODULE_LICENSE("GPL");

extern char kvm_ia64_ivt;
extern char kvm_asm_mov_from_ar;
extern char kvm_asm_mov_from_ar_sn2;
extern fpswa_interface_t *vmm_fpswa_interface;

long vmm_sanity = 1;

struct kvm_vmm_info vmm_info = {
	.module			= THIS_MODULE,
	.vmm_entry		= vmm_entry,
	.tramp_entry		= vmm_trampoline,
	.vmm_ivt		= (unsigned long)&kvm_ia64_ivt,
	.patch_mov_ar		= (unsigned long)&kvm_asm_mov_from_ar,
	.patch_mov_ar_sn2	= (unsigned long)&kvm_asm_mov_from_ar_sn2,
};

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(vmm_spinlock_t *lock)
{
	_vmm_raw_spin_lock(lock);
}

void vmm_spin_unlock(vmm_spinlock_t *lock)
{
	_vmm_raw_spin_unlock(lock);
}

static void vcpu_debug_exit(struct kvm_vcpu *vcpu)
{
	struct exit_ctl_data *p = &vcpu->arch.exit_data;
	long psr;

	local_irq_save(psr);
	p->exit_reason = EXIT_REASON_DEBUG;
	vmm_transition(vcpu);
	local_irq_restore(psr);
}

asmlinkage int printk(const char *fmt, ...)
{
	struct kvm_vcpu *vcpu = current_vcpu;
	va_list args;
	int r;

	memset(vcpu->arch.log_buf, 0, VMM_LOG_LEN);
	va_start(args, fmt);
	r = vsnprintf(vcpu->arch.log_buf, VMM_LOG_LEN, fmt, args);
	va_end(args);
	vcpu_debug_exit(vcpu);
	return r;
}

module_init(kvm_vmm_init)
module_exit(kvm_vmm_exit)
Commit	Line	Data
bb46fb4a XZ	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
5e2be198	23	#include<linux/kernel.h>
bb46fb4a XZ	24	#include<linux/module.h>
	25	#include<asm/fpswa.h>
	26
	27	#include "vcpu.h"
	28
	29	MODULE_AUTHOR("Intel");
	30	MODULE_LICENSE("GPL");
	31
	32	extern char kvm_ia64_ivt;
0b5d7a2c JS	33	extern char kvm_asm_mov_from_ar;
0b5d7a2c JS	34	extern char kvm_asm_mov_from_ar_sn2;
bb46fb4a XZ	35	extern fpswa_interface_t *vmm_fpswa_interface;
bb46fb4a XZ	36
9f7d5bb5 XZ	37	long vmm_sanity = 1;
9f7d5bb5 XZ	38
bb46fb4a	39	struct kvm_vmm_info vmm_info = {
0b5d7a2c JS	40	.module = THIS_MODULE,
	41	.vmm_entry = vmm_entry,
	42	.tramp_entry = vmm_trampoline,
	43	.vmm_ivt = (unsigned long)&kvm_ia64_ivt,
	44	.patch_mov_ar = (unsigned long)&kvm_asm_mov_from_ar,
	45	.patch_mov_ar_sn2 = (unsigned long)&kvm_asm_mov_from_ar_sn2,
bb46fb4a XZ	46	};
	47
	48	static int __init kvm_vmm_init(void)
	49	{
	50
	51	vmm_fpswa_interface = fpswa_interface;
	52
	53	/Register vmm data to kvm side/
	54	return kvm_init(&vmm_info, 1024, THIS_MODULE);
	55	}
	56
	57	static void __exit kvm_vmm_exit(void)
	58	{
	59	kvm_exit();
	60	return ;
	61	}
	62
a662b813	63	void vmm_spin_lock(vmm_spinlock_t *lock)
bb46fb4a XZ	64	{
	65	_vmm_raw_spin_lock(lock);
	66	}
	67
a662b813	68	void vmm_spin_unlock(vmm_spinlock_t *lock)
bb46fb4a XZ	69	{
	70	_vmm_raw_spin_unlock(lock);
	71	}
7d637978 XZ	72
	73	static void vcpu_debug_exit(struct kvm_vcpu *vcpu)
	74	{
	75	struct exit_ctl_data *p = &vcpu->arch.exit_data;
	76	long psr;
	77
	78	local_irq_save(psr);
	79	p->exit_reason = EXIT_REASON_DEBUG;
	80	vmm_transition(vcpu);
	81	local_irq_restore(psr);
	82	}
	83
	84	asmlinkage int printk(const char *fmt, ...)
	85	{
	86	struct kvm_vcpu *vcpu = current_vcpu;
	87	va_list args;
	88	int r;
	89
	90	memset(vcpu->arch.log_buf, 0, VMM_LOG_LEN);
	91	va_start(args, fmt);
	92	r = vsnprintf(vcpu->arch.log_buf, VMM_LOG_LEN, fmt, args);
	93	va_end(args);
	94	vcpu_debug_exit(vcpu);
	95	return r;
	96	}
	97
bb46fb4a XZ	98	module_init(kvm_vmm_init)
bb46fb4a XZ	99	module_exit(kvm_vmm_exit)