Eric, Brice,what is the point of issuing wbinvd() on all CPUs here if clflush isn'tavailable, but using clflush() (if available) only on the current CPU?Thanks, Jan