Change tlbflush_clock to 64bit,
change_tlbflush_clock_64bit.patch Description: change_tlbflush_clock_64bit.patch
_______________________________________________ Xen-ia64-devel mailing list Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-ia64-devel