include/arch/cpu.h


1
2
3
4
5
6
7
8
9
10

#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 */