| /kernel/trunk/arch/ia32/src/drivers/i8259.c |
|---|
| 26,6 → 26,12 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup ia32 |
| * @{ |
| */ |
| /** @file |
| */ |
| #include <arch/drivers/i8259.h> |
| #include <cpu.h> |
| #include <arch/types.h> |
| 124,3 → 130,7 |
| printf("cpu%d: PIC spurious interrupt\n", CPU->id); |
| #endif |
| } |
| /** @} |
| */ |