ia64/xen-unstable

view xen/include/asm-ia64/flushtlb.h @ 5704:9b73afea874e

Certain types of event channel are now auto-bound to vcpu0 by Xen.
Make sure that xenolinux agrees with this.
author sos22@douglas.cl.cam.ac.uk
date Fri Jul 08 15:35:43 2005 +0000 (2005-07-08)
parents 6b7a4f646fef
children c668c6abb5f0
line source
1 #ifndef __FLUSHTLB_H__
2 #define __FLUSHTLB_H__
4 /* The current time as shown by the virtual TLB clock. */
5 extern u32 tlbflush_clock;
7 /* Time at which each CPU's TLB was last flushed. */
8 extern u32 tlbflush_time[NR_CPUS];
10 #define tlbflush_current_time() tlbflush_clock
11 #define tlbflush_filter(x,y) ((void)0)
12 #define NEED_FLUSH(x, y) (0)
14 #endif