#ifndef _PLATFORM_H_
#define _PLATFORM_H_

int nr_cpus();

#endif /* _PLATFORM_H_ */