cpu_pause
void cpu_pause(unsigned long);
void cpu_pause(struct reg *);
cpu_pause(regs);
cpu_pause(regs);
cpu_pause(NULL);
cpu_pause(NULL);
void cpu_pause(struct trapframe *);
cpu_pause(NULL);
cpu_pause(tf);
cpu_pause(tf);
void cpu_pause(void);
cpu_pause();
cpu_pause();
cpu_pause();