void handle_pending_TLB_flushes(
void);
+int cpu_signal_handler(x86_saved_state_t *regs);
kern_return_t cpu_register(
int *slot_nump);
static inline void cpu_pause(void)
{
- asm volatile( "rep; nop" );
+ __builtin_ia32_pause();
}
#endif /* _I386_MACHINE_CPU_H_ */