ia64/xen-unstable

view xen/include/asm-ia64/tlbflush.h @ 10786:86e5d8458c08

[IA64] live migration

Shadow mode and live migration.

Virtualize Dirty bit.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>
author awilliam@xenbuild.aw
date Wed Jul 26 09:36:36 2006 -0600 (2006-07-26)
parents 72caf2612e52
children 0c18c6009448
line source
1 #ifndef __FLUSHTLB_H__
2 #define __FLUSHTLB_H__
4 #include <xen/sched.h>
6 /* TLB flushes can be either local (current vcpu only) or domain wide (on
7 all vcpus).
8 TLB flushes can be either all-flush or range only.
10 vTLB flushing means flushing VCPU virtual TLB + machine TLB + machine VHPT.
11 */
13 /* Local all flush of vTLB. */
14 void vcpu_flush_vtlb_all(struct vcpu *v);
16 /* Local range flush of machine TLB only (not full VCPU virtual TLB!!!) */
17 void vcpu_flush_tlb_vhpt_range (u64 vadr, u64 log_range);
19 /* Global all flush of vTLB */
20 void domain_flush_vtlb_all (void);
22 /* Global range-flush of vTLB. */
23 void domain_flush_vtlb_range (struct domain *d, u64 vadr, u64 addr_range);
25 /* Flush vhpt and mTLB on every dirty cpus. */
26 void domain_flush_tlb_vhpt(struct domain *d);
28 /* Flush v-tlb on cpus set in mask for current domain. */
29 void flush_tlb_mask(cpumask_t mask);
31 /* Flush local machine TLB. */
32 void local_flush_tlb_all (void);
34 #define tlbflush_current_time() 0
35 #define tlbflush_filter(x,y) ((void)0)
37 #endif