K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-05-13T19:56:58.928229Z
K 7
svn:log
V 199
Fix a brain-o in platform_cpu_mask() by just specifying a possible
cpuset_t to be copied, rather than return the array.
I can't rely anymore on this being a simple int/long object.

Reported by:	art

END