Lines Matching defs:tmp_Ui
55 unsigned int tmp_Ui;
215 __builtin_ia32_incsspd(tmp_Ui);
217 tmp_Ui = __builtin_ia32_rdsspd(tmp_Ui);
221 __builtin_ia32_wrssd(tmp_Ui, tmp_vp);
223 __builtin_ia32_wrussd(tmp_Ui, tmp_vp);
228 (void) __builtin_ia32_ldmxcsr(tmp_Ui);
230 (void) _mm_setcsr(tmp_Ui);
232 tmp_Ui = __builtin_ia32_stmxcsr();
234 tmp_Ui = _mm_getcsr();
243 tmp_ULLi = __builtin_ia32_xgetbv(tmp_Ui);
244 (void)__builtin_ia32_xsetbv(tmp_Ui, tmp_ULLi);
256 (void) __builtin_ia32_monitorx(tmp_vp, tmp_Ui, tmp_Ui);
257 (void) __builtin_ia32_mwaitx(tmp_Ui, tmp_Ui, tmp_Ui);
266 tmp_i = __builtin_ia32_rdtscp(&tmp_Ui);
357 (void) __builtin_ia32_monitor(tmp_vp, tmp_Ui, tmp_Ui);
358 (void) __builtin_ia32_mwait(tmp_Ui, tmp_Ui);