バグ ID 6694939: 場合によっては、prtdiag(1M) コマンドで一部の CPU が表示されないことがあります。
回避方法: CPU の正確な数を確認するには、psrinfo(1M) コマンドを使用してください。