#ifndef SOCKS_CPU_H_
#define SOCKS_CPU_H_

#include <socks/bitmap.h>

/* maximum number of processor cores that the kernel can support.
   TODO move to build config option */
#define CPU_MAX 128

DECLARE_BITMAP(cpu_available, CPU_MAX);
DECLARE_BITMAP(cpu_online, CPU_MAX);

#endif