Check out x86info[1]. It should do the right thing in both cases.
It counts siblings, and also checks the BIOS MP table.
Dave
[1] http://www.codemonkey.org.uk/x86info/
-- | Dave Jones. http://www.codemonkey.org.uk | SuSE Labs - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/