#include <cpu.h> 

extern struct hart harts[NPROC];