diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-08-24 09:50:33 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-10-05 20:10:47 +0200 |
| commit | 6bf02c016236c2d79b3e8cf10cfb580157535e5f (patch) | |
| tree | ddbeffddec3fa9c943d4f519e3ff211cd4e8e2c9 /core/os/pool_allocator.h | |
| parent | d331b803b8e63b0dab406a12c21805a17ee0a6a8 (diff) | |
Keep a single, portable implementation of `OS::get_processor_count()`
Diffstat (limited to 'core/os/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions