Searched refs:tmp_Ui (Results 1 – 1 of 1) sorted by relevance
43 unsigned int tmp_Ui; in f0() local264 (void) __builtin_ia32_ldmxcsr(tmp_Ui); in f0()265 tmp_Ui = __builtin_ia32_stmxcsr(); in f0()284 (void) __builtin_ia32_monitorx(tmp_vp, tmp_Ui, tmp_Ui); in f0()285 (void) __builtin_ia32_mwaitx(tmp_Ui, tmp_Ui, tmp_Ui); in f0()292 tmp_i = __builtin_ia32_rdtscp(&tmp_Ui); in f0()365 (void) __builtin_ia32_monitor(tmp_vp, tmp_Ui, tmp_Ui); in f0()366 (void) __builtin_ia32_mwait(tmp_Ui, tmp_Ui); in f0()