1: avoid flush IPI when possible
2: use CLFLUSHOPT when available
3: rename X86_FEATURE_{CLFLSH -> CLFLUSH}Signed-off-by: Jan Beulich <[email protected]> _______________________________________________ Xen-devel mailing list [email protected] http://lists.xen.org/xen-devel
