es7000_spin       303 arch/x86/kernel/es7000_32.c 		es7000_spin(MIP_SPIN);
es7000_spin       317 arch/x86/kernel/es7000_32.c 		es7000_spin(MIP_SPIN);