ia64/xen-unstable

view xen/include/asm-ia64/time.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 73f9c9685211
children 3ca4ca7a9cc2 b2f4823b6ff0 b35215021b32 9af349b055e5 3233e7ecfa9f
line source
1 #include <xen/linuxtime.h>