DEVSET_CPU_NUMBER
i < DEVSET_CPU_NUMBER; i++) {
i < DEVSET_CPU_NUMBER; i++) {
} else if (MAX_CPU_UNITS_PER_BOARD > DEVSET_CPU_NUMBER ||
#define DEVSET_CPU_NMASK ((dr_devset_t)((1ULL << DEVSET_CPU_NUMBER) - 1))
#define DEVSET_MEM_OFFSET (DEVSET_CPU_OFFSET + DEVSET_CPU_NUMBER)