os/os.h: Improve cpus_configured()
authorBart Van Assche <bvanassche@acm.org>
Sun, 13 Nov 2022 23:10:10 +0000 (15:10 -0800)
committerBart Van Assche <bvanassche@acm.org>
Sun, 13 Nov 2022 23:19:56 +0000 (15:19 -0800)
commit192cdbe2e4fc521aa6c90a6ff4ac62145be60dbb
treeca64c046cd272f7352c6b9c8baa94cb611ebe8b3
parent1edc3916ff631575532bbe9814846e287195300f
os/os.h: Improve cpus_configured()

Fix the following Coverity complaint:

1. negative_return: Calling sysconf, which might return a negative value.
2. return_negative_fn: Returning the return value of sysconf, which might be negative.

Signed-off-by: Bart Van Assche <bvanassche@acm.org>
os/os.h