#ifndef APOS_CPU_H
#define APOS_CPU_H

#include <apos/types.h>
#include <cpu.h>

id_t cpu_id();
/* TODO: add more cpu handling functions */

#endif /* APOS_CPU_H */