/trunk/kernel/arch/sparc64/include/drivers/z8530.h |
---|
36,7 → 36,6 |
#define KERN_sparc64_Z8530_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <arch/drivers/kbd.h> |
#define Z8530_CHAN_A 4 |
/trunk/kernel/arch/sparc64/include/drivers/tick.h |
---|
35,7 → 35,7 |
#ifndef KERN_sparc64_TICK_H_ |
#define KERN_sparc64_TICK_H_ |
#include <typedefs.h> |
#include <arch/interrupt.h> |
extern void tick_init(void); |
extern void tick_interrupt(int n, istate_t *istate); |