ia64/xen-unstable

annotate 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
rev   line source
awilliam@10013 1 #ifndef __FLUSHTLB_H__
awilliam@10013 2 #define __FLUSHTLB_H__
awilliam@10013 3
awilliam@10013 4 #include <xen/sched.h>
awilliam@10013 5
awilliam@10013 6 /* TLB flushes can be either local (current vcpu only) or domain wide (on
awilliam@10013 7 all vcpus).
awilliam@10013 8 TLB flushes can be either all-flush or range only.
awilliam@10013 9
awilliam@10013 10 vTLB flushing means flushing VCPU virtual TLB + machine TLB + machine VHPT.
awilliam@10013 11 */
awilliam@10013 12
awilliam@10013 13 /* Local all flush of vTLB. */
awilliam@10572 14 void vcpu_flush_vtlb_all(struct vcpu *v);
awilliam@10013 15
awilliam@10013 16 /* Local range flush of machine TLB only (not full VCPU virtual TLB!!!) */
awilliam@10013 17 void vcpu_flush_tlb_vhpt_range (u64 vadr, u64 log_range);
awilliam@10013 18
awilliam@10013 19 /* Global all flush of vTLB */
awilliam@10013 20 void domain_flush_vtlb_all (void);
awilliam@10013 21
awilliam@10013 22 /* Global range-flush of vTLB. */
awilliam@10013 23 void domain_flush_vtlb_range (struct domain *d, u64 vadr, u64 addr_range);
awilliam@10013 24
awilliam@10786 25 /* Flush vhpt and mTLB on every dirty cpus. */
awilliam@10786 26 void domain_flush_tlb_vhpt(struct domain *d);
awilliam@10013 27
awilliam@10013 28 /* Flush v-tlb on cpus set in mask for current domain. */
awilliam@10013 29 void flush_tlb_mask(cpumask_t mask);
awilliam@10013 30
awilliam@10013 31 /* Flush local machine TLB. */
awilliam@10013 32 void local_flush_tlb_all (void);
awilliam@10013 33
awilliam@10013 34 #define tlbflush_current_time() 0
awilliam@10013 35 #define tlbflush_filter(x,y) ((void)0)
awilliam@10013 36
awilliam@10013 37 #endif