/kernel/trunk/arch/sparc64/include/drivers/i8042.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup sparc64 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __sparc64_I8042_H__ |
#define __sparc64_I8042_H__ |
70,7 → 64,3 |
extern void kbd_init(void); |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/sparc64/include/drivers/fb.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup sparc64 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __sparc64_FB_H__ |
#define __sparc64_FB_H__ |
43,7 → 37,3 |
#define FB_COLOR_DEPTH 8 |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/sparc64/include/drivers/tick.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup sparc64 |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __sparc64_TICK_H__ |
#define __sparc64_TICK_H__ |
43,7 → 37,3 |
extern void tick_interrupt(int n, istate_t *istate); |
#endif |
/** @} |
*/ |