IBS_CPU_STOPPING
atomic_store_int(&ibs_pcpu[cpu]->pc_status, IBS_CPU_STOPPING);
if (atomic_load_int(&pac->pc_status) == IBS_CPU_STOPPING) {