rcu-0.2: cbits/pause.h

void pause(void);