| /kernel/trunk/arch/ppc32/src/interrupt.c |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup ppc32interrupt |
| /** @addtogroup ppc32interrupt |
| * @{ |
| */ |
| /** @file |
| 39,7 → 39,6 |
| #include <time/clock.h> |
| #include <ipc/sysipc.h> |
| #include <arch/drivers/pic.h> |
| #include <arch/mm/tlb.h> |
| void start_decrementer(void) |
| 93,5 → 92,6 |
| int_register(irq, "ipc_int", ipc_int); |
| } |
| /** @} |
| /** @} |
| */ |