Где находятся объявления для типов, используемых встроенными функциями Intel, согласно Руководству по встроенным функциям ?
Например, _mm_stream_si64 определяется как:
void _mm_stream_si64 (__int64* mem_addr, __int64 a)
Однако после включения <immintrin.h> в gcc в Linux тип __int64 не существует.