7 unsigned int __sleep (unsigned int seconds)
9 model->switch_to_master(
10 new ModelAction(NOOP, std::memory_order_seq_cst, NULL)
15 unsigned int sleep(unsigned int seconds)
17 return __sleep(seconds);
20 int usleep (useconds_t useconds)
22 model->switch_to_master(
23 new ModelAction(NOOP, std::memory_order_seq_cst, NULL)