RDSV3_CPUFLAGS_ASSIGNED
RDSV3_CPUFLAGS_ASSIGNED | RDSV3_CPUFLAGS_HCA))) {
rdsv3_cpuid_pool[i] |= RDSV3_CPUFLAGS_ASSIGNED;