x86 intrinsics