Searched refs:ia32_pause (Results 1 – 1 of 1) sorted by relevance
510 ia32_pause(void) in ia32_pause() function962 void ia32_pause(void);