ht_pause
extern void ht_pause(void); /* "pause" instruction */
#define SMT_PAUSE() ht_pause()
ht_pause();
ht_pause();
ht_pause();
ht_pause();
ht_pause();\
extern void ht_pause(void);
#define SMT_PAUSE() ht_pause()