i think so. it's more or less portable since all OSes support something similar, and you do not need any custom get_core_count at all.