Why, when I run the following on a PS3, is the output 3? #include <stdio.h> #include <libspe2.h> int main () { printf( "%d\n", spe_cpu_info_get(SPE_COUNT_PHYSICAL_CPU_NODES, -1) ); }