HelenOS sources

i8254.h   46 kernel/arch/amd64/src/amd64.c #include <arch/drivers/i8254.h>
i8254.h   45 kernel/arch/amd64/src/drivers/i8254.c #include <arch/drivers/i8254.h>
i8254.h   45 kernel/arch/ia32/src/drivers/i8254.c #include <arch/drivers/i8254.h>
i8254.h   48 kernel/arch/ia32/src/ia32.c #include <arch/drivers/i8254.h>