Two currently used :
A gaming rig (8700K, 1070 Ti)
A Dell Latitude E7270 (12" ultrabook)
And an old Xeon X5470 oc at 4ghz rig with a socket 775 mod, but this one is now unused.
(these Xeons mods were hype a few years ago, you had to cut plastic notches on the socket 775, mod your bios to add the correct microcodes, and use a special conductive stickers to swap 2 pins on the cpu)
Ow! Almost forgot an HP Elitebook 840 G5, but this one is company owned