Ignore:
Timestamp:
Dec 20, 2009, 3:02:02 PM (10 years ago)
Author:
Jean-Yves Lamoureux
Message:
  • Fix indentation and add licensing and copyright headers to kernel
File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcaca/trunk/kernel/boot/interruptions.c

    r4154 r4158  
     1/*
     2 *  libcaca       
     3 *  libcaca       Colour ASCII-Art library
     4 *  Copyright (c) 2006 Sam Hocevar <sam@hocevar.net>
     5 *                2009 Jean-Yves Lamoureux <jylam@lnxscene.org>
     6 *                All Rights Reserved
     7 *
     8 *  $Id: kernel.h 4154 2009-12-20 13:33:11Z jylam $
     9 *
     10 *  This library is free software. It comes without any warranty, to
     11 *  the extent permitted by applicable law. You can redistribute it
     12 *  and/or modify it under the terms of the Do What The Fuck You Want
     13 *  To Public License, Version 2, as published by Sam Hocevar. See
     14 *  http://sam.zoy.org/wtfpl/COPYING for more details.
     15 */
     16
     17
    118#include "kernel.h"
    219#include "klibc.h"
     
    421
    522
    6 void idt_default_int(void) {
    7         print("!! Unknown interrupt\n");
     23void idt_default_int(void)
     24{
     25    print("!! Unknown interrupt\n");
    826}
    927
    10 void idt_int0(void) {
    11         print("!! Divide by 0\n ");
     28void idt_int0(void)
     29{
     30    print("!! Divide by 0\n ");
    1231}
    13 void idt_int1(void) {
    14         print("!! Debug exception ");
     32
     33void idt_int1(void)
     34{
     35    print("!! Debug exception ");
    1536}
    16 void idt_int2(void) {
    17         print("!! NMI ");
     37
     38void idt_int2(void)
     39{
     40    print("!! NMI ");
    1841}
    19 void idt_int3(void) {
    20         print("!! Breakpoint ");
     42
     43void idt_int3(void)
     44{
     45    print("!! Breakpoint ");
    2146}
    22 void idt_int4(void) {
    23         print("!! Overflow ");
     47
     48void idt_int4(void)
     49{
     50    print("!! Overflow ");
    2451}
    25 void idt_int5(void) {
    26         print("!! BoundCheck ");
     52
     53void idt_int5(void)
     54{
     55    print("!! BoundCheck ");
    2756}
    28 void idt_int6(void) {
    29         print("!! Invalid Opcode ");
     57
     58void idt_int6(void)
     59{
     60    print("!! Invalid Opcode ");
    3061}
    31 void idt_int7(void) {
    32         print("!! Coprocessor not available ");
     62
     63void idt_int7(void)
     64{
     65    print("!! Coprocessor not available ");
    3366}
    34 void idt_int8(void) {
    35         print("!! Double Fault ");
     67
     68void idt_int8(void)
     69{
     70    print("!! Double Fault ");
    3671}
    37 void idt_int9(void) {
    38         print("!! Coprocessor segment overrun ");
     72
     73void idt_int9(void)
     74{
     75    print("!! Coprocessor segment overrun ");
    3976}
    40 void idt_int10(void) {
    41         print("!! Invalid TSS ");
     77
     78void idt_int10(void)
     79{
     80    print("!! Invalid TSS ");
    4281}
    43 void idt_int11(void) {
    44         print("!! Segment not present ");
     82
     83void idt_int11(void)
     84{
     85    print("!! Segment not present ");
    4586}
    46 void idt_int12(void) {
    47         print("!! Stack exception ");
     87
     88void idt_int12(void)
     89{
     90    print("!! Stack exception ");
    4891}
    49 void idt_int13(void) {
    50         print("!! General protection exception ");
     92
     93void idt_int13(void)
     94{
     95    print("!! General protection exception ");
    5196}
    52 void idt_int14(void) {
    53         print("!! Page fault ");
     97
     98void idt_int14(void)
     99{
     100    print("!! Page fault ");
    54101}
    55 void idt_int15(void) {
    56         print("!! Intel reserved int ");
     102
     103void idt_int15(void)
     104{
     105    print("!! Intel reserved int ");
    57106}
    58 void idt_int16(void) {
    59         print("!! Coprocessor error ");
     107
     108void idt_int16(void)
     109{
     110    print("!! Coprocessor error ");
    60111}
    61 void idt_int17(void) {
    62         print("!! Intel reserved (2) ");
     112
     113void idt_int17(void)
     114{
     115    print("!! Intel reserved (2) ");
    63116}
    64 void idt_int18(void) {
    65         print("i18 ");
     117
     118void idt_int18(void)
     119{
     120    print("i18 ");
    66121}
    67122
    68123
    69124/* Used by Channel0 timer */
    70 void idt_irq0(void) {
     125void idt_irq0(void)
     126{
    71127    ticks++;
    72128}
    73 void idt_irq2(void) {
    74         print("IRQ 2");
     129
     130void idt_irq2(void)
     131{
     132    print("IRQ 2");
    75133}
    76 void idt_irq3(void) {
    77         print("IRQ 3");
     134
     135void idt_irq3(void)
     136{
     137    print("IRQ 3");
    78138}
    79 void idt_irq4(void) {
    80         print("IRQ 4");
     139
     140void idt_irq4(void)
     141{
     142    print("IRQ 4");
    81143}
    82 void idt_irq5(void) {
    83         print("IRQ 5");
     144
     145void idt_irq5(void)
     146{
     147    print("IRQ 5");
    84148}
    85 void idt_irq6(void) {
    86         print("IRQ 6");
     149
     150void idt_irq6(void)
     151{
     152    print("IRQ 6");
    87153}
    88 void idt_irq7(void) {
    89         print("IRQ 7");
     154
     155void idt_irq7(void)
     156{
     157    print("IRQ 7");
    90158}
    91 void idt_irq8(void) {
    92         print("IRQ 8");
     159
     160void idt_irq8(void)
     161{
     162    print("IRQ 8");
    93163}
    94164
     
    97167
    98168/* Keyboard irq is 1 */
    99 void kbd_int(void) {
    100         unsigned char i;
    101         do {
    102                 i=inb(0x64);
    103         } while((i & 0x01) == 0);
    104    
    105         i=inb(0x60);
    106         i--;
    107    
    108         if(i<0x80){
    109                 putcar(kbdmap[i*4]);
    110         }
     169void kbd_int(void)
     170{
     171    unsigned char i;
     172    do
     173    {
     174        i = inb(0x64);
     175    }
     176    while ((i & 0x01) == 0);
     177
     178    i = inb(0x60);
     179    i--;
     180
     181    if (i < 0x80)
     182    {
     183        putcar(kbdmap[i * 4]);
     184    }
    111185}
    112 
Note: See TracChangeset for help on using the changeset viewer.