cpus_paused
ASSERT(cpus_paused());
ASSERT(!cpus_paused());
if (!cpus_paused()) {
if (!cpus_paused()) {
if (!cpus_paused())
if (!cpus_paused())
int cpus_paused(void);