user/parlib/include/parlib/sysinfo.h

/* Copyright (c) 2016 Google Inc.
 * Barret Rhoden <brho@cs.berkeley.edu>
 * See LICENSE for details.
 *
 * Helper functions to query information about the system. */

#pragma once

__BEGIN_DECLS

int get_num_pcores(void);

__END_DECLS