#include <proc.h>

struct Cpu cpus[NCPU];

/**
 * Return this CPU's cpu struct. Interrupts must be disabled.
 */
inline struct Cpu *mycpu(void) { return &cpus[r_tp()]; }