/kernel/trunk/arch/ia32/src/smp/ipi.c |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32 |
* @{ |
*/ |
/** @file |
*/ |
#ifdef CONFIG_SMP |
#include <smp/ipi.h> |
43,7 → 37,3 |
} |
#endif /* CONFIG_SMP */ |
/** @} |
*/ |