Try 64-bit cpu_set first.