#include <linux/kernel.h>
#include <linux/module.h>
#include <asm/fpswa.h>
#include "vcpu.h"
Go to the source code of this file.
MODULE_AUTHOR |
( |
"Intel" |
| ) |
|
Definition at line 84 of file vmm.c.
void vmm_spin_lock |
( |
vmm_spinlock_t * |
lock | ) |
|
Definition at line 63 of file vmm.c.
void vmm_spin_unlock |
( |
vmm_spinlock_t * |
lock | ) |
|
Definition at line 68 of file vmm.c.
char kvm_asm_mov_from_ar_sn2 |
Initial value:= {
.vmm_ivt = (
unsigned long)&kvm_ia64_ivt,
.patch_mov_ar_sn2 = (
unsigned long)&kvm_asm_mov_from_ar_sn2,
}
Definition at line 39 of file vmm.c.
Definition at line 37 of file vmm.c.