I've seen that same ~80M figure over here as well: http://www.guardian.co.uk/technology/blog/2011/jul/21/post-p... (from July '11) as the first bullet in the "PC Sales" section, which quotes Gartner and IDC sources.