ia64/xen-unstable

view xen/include/asm-ia64/tlbflush.h @ 10572:72caf2612e52

[IA64] fix domain_flush_vtlb_all()

It should purge software tlb entry of specified vcpu, not current.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author awilliam@xenbuild.aw
date Wed Jul 05 10:03:20 2006 -0600 (2006-07-05)
parents 77ccce98ddef
children 86e5d8458c08
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 /* Final vTLB flush on every dirty cpus. */
26 void domain_flush_destroy (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