This shows up as 12 processors in device manager, with 6 cores, 12 threads, each of the cores running at 3.70 GHz (4.70 GHz with turboboost – Turbo kicks in automatically if the processor requires more power).
eBay