2 * vcpu.h: vcpu routines
3 * Copyright (c) 2005, Intel Corporation.
7 * Copyright (c) 2007, Intel Corporation.
11 * This program is free software; you can redistribute it and/or modify it
12 * under the terms and conditions of the GNU General Public License,
13 * version 2, as published by the Free Software Foundation.
15 * This program is distributed in the hope it will be useful, but WITHOUT
16 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
20 * You should have received a copy of the GNU General Public License along with
21 * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
22 * Place - Suite 330, Boston, MA 02111-1307 USA.
27 #ifndef __KVM_VCPU_H__
28 #define __KVM_VCPU_H__
30 #include <asm/types.h>
32 #include <asm/processor.h>
37 #include <linux/kvm_host.h>
38 #include <linux/spinlock.h>
40 typedef unsigned long IA64_INST;
42 typedef union U_IA64_BUNDLE {
44 struct { unsigned long template:5, slot0:41, slot1a:18,
45 slot1b:23, slot2:41; };
46 /* NOTE: following doesn't work because bitfields can't cross natural
48 struct { unsigned long template:5, slot0:41, slot1:41, slot2:41; }; */
51 typedef union U_INST64_A5 {
53 struct { unsigned long qp:6, r1:7, imm7b:7, r3:2, imm5c:5,
54 imm9d:9, s:1, major:4; };
57 typedef union U_INST64_B4 {
59 struct { unsigned long qp:6, btype:3, un3:3, p:1, b2:3, un11:11, x6:6,
60 wh:2, d:1, un1:1, major:4; };
63 typedef union U_INST64_B8 {
65 struct { unsigned long qp:6, un21:21, x6:6, un4:4, major:4; };
68 typedef union U_INST64_B9 {
70 struct { unsigned long qp:6, imm20:20, :1, x6:6, :3, i:1, major:4; };
73 typedef union U_INST64_I19 {
75 struct { unsigned long qp:6, imm20:20, :1, x6:6, x3:3, i:1, major:4; };
78 typedef union U_INST64_I26 {
80 struct { unsigned long qp:6, :7, r2:7, ar3:7, x6:6, x3:3, :1, major:4; };
83 typedef union U_INST64_I27 {
85 struct { unsigned long qp:6, :7, imm:7, ar3:7, x6:6, x3:3, s:1, major:4; };
88 typedef union U_INST64_I28 { /* not privileged (mov from AR) */
90 struct { unsigned long qp:6, r1:7, :7, ar3:7, x6:6, x3:3, :1, major:4; };
93 typedef union U_INST64_M28 {
95 struct { unsigned long qp:6, :14, r3:7, x6:6, x3:3, :1, major:4; };
98 typedef union U_INST64_M29 {
100 struct { unsigned long qp:6, :7, r2:7, ar3:7, x6:6, x3:3, :1, major:4; };
103 typedef union U_INST64_M30 {
105 struct { unsigned long qp:6, :7, imm:7, ar3:7, x4:4, x2:2,
106 x3:3, s:1, major:4; };
109 typedef union U_INST64_M31 {
111 struct { unsigned long qp:6, r1:7, :7, ar3:7, x6:6, x3:3, :1, major:4; };
114 typedef union U_INST64_M32 {
116 struct { unsigned long qp:6, :7, r2:7, cr3:7, x6:6, x3:3, :1, major:4; };
119 typedef union U_INST64_M33 {
121 struct { unsigned long qp:6, r1:7, :7, cr3:7, x6:6, x3:3, :1, major:4; };
124 typedef union U_INST64_M35 {
126 struct { unsigned long qp:6, :7, r2:7, :7, x6:6, x3:3, :1, major:4; };
130 typedef union U_INST64_M36 {
132 struct { unsigned long qp:6, r1:7, :14, x6:6, x3:3, :1, major:4; };
135 typedef union U_INST64_M37 {
137 struct { unsigned long qp:6, imm20a:20, :1, x4:4, x2:2, x3:3,
141 typedef union U_INST64_M41 {
143 struct { unsigned long qp:6, :7, r2:7, :7, x6:6, x3:3, :1, major:4; };
146 typedef union U_INST64_M42 {
148 struct { unsigned long qp:6, :7, r2:7, r3:7, x6:6, x3:3, :1, major:4; };
151 typedef union U_INST64_M43 {
153 struct { unsigned long qp:6, r1:7, :7, r3:7, x6:6, x3:3, :1, major:4; };
156 typedef union U_INST64_M44 {
158 struct { unsigned long qp:6, imm:21, x4:4, i2:2, x3:3, i:1, major:4; };
161 typedef union U_INST64_M45 {
163 struct { unsigned long qp:6, :7, r2:7, r3:7, x6:6, x3:3, :1, major:4; };
166 typedef union U_INST64_M46 {
168 struct { unsigned long qp:6, r1:7, un7:7, r3:7, x6:6,
169 x3:3, un1:1, major:4; };
172 typedef union U_INST64_M47 {
174 struct { unsigned long qp:6, un14:14, r3:7, x6:6, x3:3, un1:1, major:4; };
177 typedef union U_INST64_M1{
179 struct { unsigned long qp:6, r1:7, un7:7, r3:7, x:1, hint:2,
180 x6:6, m:1, major:4; };
183 typedef union U_INST64_M2{
185 struct { unsigned long qp:6, r1:7, r2:7, r3:7, x:1, hint:2,
186 x6:6, m:1, major:4; };
189 typedef union U_INST64_M3{
191 struct { unsigned long qp:6, r1:7, imm7:7, r3:7, i:1, hint:2,
192 x6:6, s:1, major:4; };
195 typedef union U_INST64_M4 {
197 struct { unsigned long qp:6, un7:7, r2:7, r3:7, x:1, hint:2,
198 x6:6, m:1, major:4; };
201 typedef union U_INST64_M5 {
203 struct { unsigned long qp:6, imm7:7, r2:7, r3:7, i:1, hint:2,
204 x6:6, s:1, major:4; };
207 typedef union U_INST64_M6 {
209 struct { unsigned long qp:6, f1:7, un7:7, r3:7, x:1, hint:2,
210 x6:6, m:1, major:4; };
213 typedef union U_INST64_M9 {
215 struct { unsigned long qp:6, :7, f2:7, r3:7, x:1, hint:2,
216 x6:6, m:1, major:4; };
219 typedef union U_INST64_M10 {
221 struct { unsigned long qp:6, imm7:7, f2:7, r3:7, i:1, hint:2,
222 x6:6, s:1, major:4; };
225 typedef union U_INST64_M12 {
227 struct { unsigned long qp:6, f1:7, f2:7, r3:7, x:1, hint:2,
228 x6:6, m:1, major:4; };
231 typedef union U_INST64_M15 {
233 struct { unsigned long qp:6, :7, imm7:7, r3:7, i:1, hint:2,
234 x6:6, s:1, major:4; };
237 typedef union U_INST64 {
239 struct { unsigned long :37, major:4; } generic;
240 INST64_A5 A5; /* used in build_hypercall_bundle only */
241 INST64_B4 B4; /* used in build_hypercall_bundle only */
242 INST64_B8 B8; /* rfi, bsw.[01] */
243 INST64_B9 B9; /* break.b */
244 INST64_I19 I19; /* used in build_hypercall_bundle only */
245 INST64_I26 I26; /* mov register to ar (I unit) */
246 INST64_I27 I27; /* mov immediate to ar (I unit) */
247 INST64_I28 I28; /* mov from ar (I unit) */
248 INST64_M1 M1; /* ld integer */
251 INST64_M4 M4; /* st integer */
253 INST64_M6 M6; /* ldfd floating pointer */
254 INST64_M9 M9; /* stfd floating pointer */
255 INST64_M10 M10; /* stfd floating pointer */
256 INST64_M12 M12; /* ldfd pair floating pointer */
257 INST64_M15 M15; /* lfetch + imm update */
258 INST64_M28 M28; /* purge translation cache entry */
259 INST64_M29 M29; /* mov register to ar (M unit) */
260 INST64_M30 M30; /* mov immediate to ar (M unit) */
261 INST64_M31 M31; /* mov from ar (M unit) */
262 INST64_M32 M32; /* mov reg to cr */
263 INST64_M33 M33; /* mov from cr */
264 INST64_M35 M35; /* mov to psr */
265 INST64_M36 M36; /* mov from psr */
266 INST64_M37 M37; /* break.m */
267 INST64_M41 M41; /* translation cache insert */
268 INST64_M42 M42; /* mov to indirect reg/translation reg insert*/
269 INST64_M43 M43; /* mov from indirect reg */
270 INST64_M44 M44; /* set/reset system mask */
271 INST64_M45 M45; /* translation purge */
272 INST64_M46 M46; /* translation access (tpa,tak) */
273 INST64_M47 M47; /* purge translation entry */
276 #define MASK_41 ((unsigned long)0x1ffffffffff)
278 /* Virtual address memory attributes encoding */
279 #define VA_MATTR_WB 0x0
280 #define VA_MATTR_UC 0x4
281 #define VA_MATTR_UCE 0x5
282 #define VA_MATTR_WC 0x6
283 #define VA_MATTR_NATPAGE 0x7
285 #define PMASK(size) (~((size) - 1))
286 #define PSIZE(size) (1UL<<(size))
287 #define CLEARLSB(ppn, nbits) (((ppn) >> (nbits)) << (nbits))
288 #define PAGEALIGN(va, ps) CLEARLSB(va, ps)
289 #define PAGE_FLAGS_RV_MASK (0x2|(0x3UL<<50)|(((1UL<<11)-1)<<53))
290 #define _PAGE_MA_ST (0x1 << 2) /* is reserved for software use */
292 #define ARCH_PAGE_SHIFT 12
294 #define INVALID_TI_TAG (1UL << 63)
296 #define VTLB_PTE_P_BIT 0
297 #define VTLB_PTE_IO_BIT 60
298 #define VTLB_PTE_IO (1UL<<VTLB_PTE_IO_BIT)
299 #define VTLB_PTE_P (1UL<<VTLB_PTE_P_BIT)
301 #define vcpu_quick_region_check(_tr_regions,_ifa) \
302 (_tr_regions & (1 << ((unsigned long)_ifa >> 61)))
304 #define vcpu_quick_region_set(_tr_regions,_ifa) \
305 do {_tr_regions |= (1 << ((unsigned long)_ifa >> 61)); } while (0)
307 static inline void vcpu_set_tr(struct thash_data *trp, u64 pte, u64 itir,
310 trp->page_flags = pte;
316 extern u64 kvm_get_mpt_entry(u64 gpfn);
319 static inline u64 __gpfn_is_io(u64 gpfn)
322 pte = kvm_get_mpt_entry(gpfn);
323 if (!(pte & GPFN_INV_MASK)) {
324 pte = pte & GPFN_IO_MASK;
325 if (pte != GPFN_PHYS_MMIO)
331 #define IA64_NO_FAULT 0
334 #define VMM_RBS_OFFSET ((VMM_TASK_SIZE + 15) & ~15)
336 #define SW_BAD 0 /* Bad mode transitition */
337 #define SW_V2P 1 /* Physical emulatino is activated */
338 #define SW_P2V 2 /* Exit physical mode emulation */
339 #define SW_SELF 3 /* No mode transition */
340 #define SW_NOP 4 /* Mode transition, but without action required */
342 #define GUEST_IN_PHY 0x1
343 #define GUEST_PHY_EMUL 0x2
345 #define current_vcpu ((struct kvm_vcpu *) ia64_getreg(_IA64_REG_TP))
348 #define VRN_MASK 0xe000000000000000
358 #define IRQ_NO_MASKED 0
359 #define IRQ_MASKED_BY_VTPR 1
360 #define IRQ_MASKED_BY_INSVC 2 /* masked by inservice IRQ */
362 #define PTA_BASE_SHIFT 15
364 #define IA64_PSR_VM_BIT 46
365 #define IA64_PSR_VM (__IA64_UL(1) << IA64_PSR_VM_BIT)
367 /* Interruption Function State */
368 #define IA64_IFS_V_BIT 63
369 #define IA64_IFS_V (__IA64_UL(1) << IA64_IFS_V_BIT)
371 #define PHY_PAGE_UC (_PAGE_A|_PAGE_D|_PAGE_P|_PAGE_MA_UC|_PAGE_AR_RWX)
372 #define PHY_PAGE_WB (_PAGE_A|_PAGE_D|_PAGE_P|_PAGE_MA_WB|_PAGE_AR_RWX)
376 #include <asm/gcc_intrin.h>
378 #define is_physical_mode(v) \
379 ((v->arch.mode_flags) & GUEST_IN_PHY)
381 #define is_virtual_mode(v) \
382 (!is_physical_mode(v))
384 #define MODE_IND(psr) \
385 (((psr).it << 2) + ((psr).dt << 1) + (psr).rt)
388 #define _vmm_raw_spin_lock(x) do {}while(0)
389 #define _vmm_raw_spin_unlock(x) do {}while(0)
392 volatile unsigned int lock;
394 #define _vmm_raw_spin_lock(x) \
396 __u32 *ia64_spinlock_ptr = (__u32 *) (x); \
397 __u64 ia64_spinlock_val; \
398 ia64_spinlock_val = ia64_cmpxchg4_acq(ia64_spinlock_ptr, 1, 0);\
399 if (unlikely(ia64_spinlock_val)) { \
401 while (*ia64_spinlock_ptr) \
403 ia64_spinlock_val = \
404 ia64_cmpxchg4_acq(ia64_spinlock_ptr, 1, 0);\
405 } while (ia64_spinlock_val); \
409 #define _vmm_raw_spin_unlock(x) \
411 ((vmm_spinlock_t *)x)->lock = 0; } \
415 void vmm_spin_lock(vmm_spinlock_t *lock);
416 void vmm_spin_unlock(vmm_spinlock_t *lock);
424 unsigned long off : 60; /* intra-region offset */
425 unsigned long reg : 4; /* region number */
431 #define __kvm_pa(x) ({union kvm_va _v; _v.l = (long) (x); \
432 _v.f.reg = 0; _v.l; })
433 #define __kvm_va(x) ({union kvm_va _v; _v.l = (long) (x); \
434 _v.f.reg = -1; _v.p; })
436 #define _REGION_ID(x) ({union ia64_rr _v; _v.val = (long)(x); \
438 #define _REGION_PAGE_SIZE(x) ({union ia64_rr _v; _v.val = (long)(x); \
440 #define _REGION_HW_WALKER(x) ({union ia64_rr _v; _v.val = (long)(x); \
443 enum vhpt_ref{ DATA_REF, NA_REF, INST_REF, RSE_REF };
444 enum tlb_miss_type { INSTRUCTION, DATA, REGISTER };
446 #define VCPU(_v, _x) ((_v)->arch.vpd->_x)
447 #define VMX(_v, _x) ((_v)->arch._x)
449 #define VLSAPIC_INSVC(vcpu, i) ((vcpu)->arch.insvc[i])
450 #define VLSAPIC_XTP(_v) VMX(_v, xtp)
452 static inline unsigned long itir_ps(unsigned long itir)
454 return ((itir >> 2) & 0x3f);
458 /**************************************************************************
459 VCPU control register access routines
460 **************************************************************************/
462 static inline u64 vcpu_get_itir(struct kvm_vcpu *vcpu)
464 return ((u64)VCPU(vcpu, itir));
467 static inline void vcpu_set_itir(struct kvm_vcpu *vcpu, u64 val)
469 VCPU(vcpu, itir) = val;
472 static inline u64 vcpu_get_ifa(struct kvm_vcpu *vcpu)
474 return ((u64)VCPU(vcpu, ifa));
477 static inline void vcpu_set_ifa(struct kvm_vcpu *vcpu, u64 val)
479 VCPU(vcpu, ifa) = val;
482 static inline u64 vcpu_get_iva(struct kvm_vcpu *vcpu)
484 return ((u64)VCPU(vcpu, iva));
487 static inline u64 vcpu_get_pta(struct kvm_vcpu *vcpu)
489 return ((u64)VCPU(vcpu, pta));
492 static inline u64 vcpu_get_lid(struct kvm_vcpu *vcpu)
494 return ((u64)VCPU(vcpu, lid));
497 static inline u64 vcpu_get_tpr(struct kvm_vcpu *vcpu)
499 return ((u64)VCPU(vcpu, tpr));
502 static inline u64 vcpu_get_eoi(struct kvm_vcpu *vcpu)
504 return (0UL); /*reads of eoi always return 0 */
507 static inline u64 vcpu_get_irr0(struct kvm_vcpu *vcpu)
509 return ((u64)VCPU(vcpu, irr[0]));
512 static inline u64 vcpu_get_irr1(struct kvm_vcpu *vcpu)
514 return ((u64)VCPU(vcpu, irr[1]));
517 static inline u64 vcpu_get_irr2(struct kvm_vcpu *vcpu)
519 return ((u64)VCPU(vcpu, irr[2]));
522 static inline u64 vcpu_get_irr3(struct kvm_vcpu *vcpu)
524 return ((u64)VCPU(vcpu, irr[3]));
527 static inline void vcpu_set_dcr(struct kvm_vcpu *vcpu, u64 val)
529 ia64_setreg(_IA64_REG_CR_DCR, val);
532 static inline void vcpu_set_isr(struct kvm_vcpu *vcpu, u64 val)
534 VCPU(vcpu, isr) = val;
537 static inline void vcpu_set_lid(struct kvm_vcpu *vcpu, u64 val)
539 VCPU(vcpu, lid) = val;
542 static inline void vcpu_set_ipsr(struct kvm_vcpu *vcpu, u64 val)
544 VCPU(vcpu, ipsr) = val;
547 static inline void vcpu_set_iip(struct kvm_vcpu *vcpu, u64 val)
549 VCPU(vcpu, iip) = val;
552 static inline void vcpu_set_ifs(struct kvm_vcpu *vcpu, u64 val)
554 VCPU(vcpu, ifs) = val;
557 static inline void vcpu_set_iipa(struct kvm_vcpu *vcpu, u64 val)
559 VCPU(vcpu, iipa) = val;
562 static inline void vcpu_set_iha(struct kvm_vcpu *vcpu, u64 val)
564 VCPU(vcpu, iha) = val;
568 static inline u64 vcpu_get_rr(struct kvm_vcpu *vcpu, u64 reg)
570 return vcpu->arch.vrr[reg>>61];
573 /**************************************************************************
574 VCPU debug breakpoint register access routines
575 **************************************************************************/
577 static inline void vcpu_set_dbr(struct kvm_vcpu *vcpu, u64 reg, u64 val)
579 __ia64_set_dbr(reg, val);
582 static inline void vcpu_set_ibr(struct kvm_vcpu *vcpu, u64 reg, u64 val)
584 ia64_set_ibr(reg, val);
587 static inline u64 vcpu_get_dbr(struct kvm_vcpu *vcpu, u64 reg)
589 return ((u64)__ia64_get_dbr(reg));
592 static inline u64 vcpu_get_ibr(struct kvm_vcpu *vcpu, u64 reg)
594 return ((u64)ia64_get_ibr(reg));
597 /**************************************************************************
598 VCPU performance monitor register access routines
599 **************************************************************************/
600 static inline void vcpu_set_pmc(struct kvm_vcpu *vcpu, u64 reg, u64 val)
602 /* NOTE: Writes to unimplemented PMC registers are discarded */
603 ia64_set_pmc(reg, val);
606 static inline void vcpu_set_pmd(struct kvm_vcpu *vcpu, u64 reg, u64 val)
608 /* NOTE: Writes to unimplemented PMD registers are discarded */
609 ia64_set_pmd(reg, val);
612 static inline u64 vcpu_get_pmc(struct kvm_vcpu *vcpu, u64 reg)
614 /* NOTE: Reads from unimplemented PMC registers return zero */
615 return ((u64)ia64_get_pmc(reg));
618 static inline u64 vcpu_get_pmd(struct kvm_vcpu *vcpu, u64 reg)
620 /* NOTE: Reads from unimplemented PMD registers return zero */
621 return ((u64)ia64_get_pmd(reg));
624 static inline unsigned long vrrtomrr(unsigned long val)
628 rr.rid = (rr.rid << 4) | 0xe;
629 if (rr.ps > PAGE_SHIFT)
636 static inline int highest_bits(int *dat)
641 /* loop for all 256 bits */
642 for (i = 7; i >= 0 ; i--) {
646 return i * 32 + bitnum - 1;
653 * The pending irq is higher than the inservice one.
656 static inline int is_higher_irq(int pending, int inservice)
658 return ((pending > inservice)
659 || ((pending != NULL_VECTOR)
660 && (inservice == NULL_VECTOR)));
663 static inline int is_higher_class(int pending, int mic)
665 return ((pending >> 4) > mic);
669 * Return 0-255 for pending irq.
670 * NULL_VECTOR: when no pending.
672 static inline int highest_pending_irq(struct kvm_vcpu *vcpu)
674 if (VCPU(vcpu, irr[0]) & (1UL<<NMI_VECTOR))
676 if (VCPU(vcpu, irr[0]) & (1UL<<ExtINT_VECTOR))
677 return ExtINT_VECTOR;
679 return highest_bits((int *)&VCPU(vcpu, irr[0]));
682 static inline int highest_inservice_irq(struct kvm_vcpu *vcpu)
684 if (VMX(vcpu, insvc[0]) & (1UL<<NMI_VECTOR))
686 if (VMX(vcpu, insvc[0]) & (1UL<<ExtINT_VECTOR))
687 return ExtINT_VECTOR;
689 return highest_bits((int *)&(VMX(vcpu, insvc[0])));
692 extern void vcpu_get_fpreg(struct kvm_vcpu *vcpu, unsigned long reg,
693 struct ia64_fpreg *val);
694 extern void vcpu_set_fpreg(struct kvm_vcpu *vcpu, unsigned long reg,
695 struct ia64_fpreg *val);
696 extern u64 vcpu_get_gr(struct kvm_vcpu *vcpu, unsigned long reg);
697 extern void vcpu_set_gr(struct kvm_vcpu *vcpu, unsigned long reg,
699 extern unsigned long vcpu_get_psr(struct kvm_vcpu *vcpu);
700 extern void vcpu_set_psr(struct kvm_vcpu *vcpu, unsigned long val);
701 extern u64 vcpu_thash(struct kvm_vcpu *vcpu, u64 vadr);
702 extern void vcpu_bsw0(struct kvm_vcpu *vcpu);
703 extern void thash_vhpt_insert(struct kvm_vcpu *v, u64 pte,
704 u64 itir, u64 va, int type);
705 extern struct thash_data *vhpt_lookup(u64 va);
706 extern u64 guest_vhpt_lookup(u64 iha, u64 *pte);
707 extern void thash_purge_entries(struct kvm_vcpu *v, u64 va, u64 ps);
708 extern void thash_purge_entries_remote(struct kvm_vcpu *v, u64 va, u64 ps);
709 extern u64 translate_phy_pte(u64 *pte, u64 itir, u64 va);
710 extern void thash_purge_and_insert(struct kvm_vcpu *v, u64 pte,
711 u64 itir, u64 ifa, int type);
712 extern void thash_purge_all(struct kvm_vcpu *v);
713 extern struct thash_data *vtlb_lookup(struct kvm_vcpu *v,
714 u64 va, int is_data);
715 extern int vtr_find_overlap(struct kvm_vcpu *vcpu, u64 va,
716 u64 ps, int is_data);
718 extern void vcpu_increment_iip(struct kvm_vcpu *v);
719 extern void vcpu_decrement_iip(struct kvm_vcpu *vcpu);
720 extern void vcpu_pend_interrupt(struct kvm_vcpu *vcpu, u8 vec);
721 extern void vcpu_unpend_interrupt(struct kvm_vcpu *vcpu, u8 vec);
722 extern void data_page_not_present(struct kvm_vcpu *vcpu, u64 vadr);
723 extern void dnat_page_consumption(struct kvm_vcpu *vcpu, u64 vadr);
724 extern void alt_dtlb(struct kvm_vcpu *vcpu, u64 vadr);
725 extern void nested_dtlb(struct kvm_vcpu *vcpu);
726 extern void dvhpt_fault(struct kvm_vcpu *vcpu, u64 vadr);
727 extern int vhpt_enabled(struct kvm_vcpu *vcpu, u64 vadr, enum vhpt_ref ref);
729 extern void update_vhpi(struct kvm_vcpu *vcpu, int vec);
730 extern int irq_masked(struct kvm_vcpu *vcpu, int h_pending, int h_inservice);
732 extern int fetch_code(struct kvm_vcpu *vcpu, u64 gip, IA64_BUNDLE *pbundle);
733 extern void emulate_io_inst(struct kvm_vcpu *vcpu, u64 padr, u64 ma);
734 extern void vmm_transition(struct kvm_vcpu *vcpu);
735 extern void vmm_trampoline(union context *from, union context *to);
736 extern int vmm_entry(void);
737 extern u64 vcpu_get_itc(struct kvm_vcpu *vcpu);
739 extern void vmm_reset_entry(void);
740 void kvm_init_vtlb(struct kvm_vcpu *v);
741 void kvm_init_vhpt(struct kvm_vcpu *v);
742 void thash_init(struct thash_cb *hcb, u64 sz);
744 void panic_vm(struct kvm_vcpu *v, const char *fmt, ...);
745 u64 kvm_gpa_to_mpa(u64 gpa);
746 extern u64 ia64_call_vsa(u64 proc, u64 arg1, u64 arg2, u64 arg3,
747 u64 arg4, u64 arg5, u64 arg6, u64 arg7);
749 extern long vmm_sanity;
752 #endif /* __VCPU_H__ */