MPIDR_MT_BITMASK
if (mpidr & MPIDR_MT_BITMASK) {
#define arch_cpu_is_threaded() (read_cpuid_mpidr() & MPIDR_MT_BITMASK)
bool mt = mpidr & MPIDR_MT_BITMASK;
if (mpidr & MPIDR_MT_BITMASK)