CPU_COPY_STORE_REL
CPU_COPY_STORE_REL(&map, &toresume_cpus);
CPU_COPY_STORE_REL(&map, &started_cpus);