From b19adf79f9ef5174cd0ff51b703f2ec0d9ad3cde Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Thu, 25 Jul 2019 05:37:35 -0400
Subject: [PATCH] purge x86 stuff from defs.h

---
 kernel/defs.h | 30 ------------------------------
 1 file changed, 30 deletions(-)

diff --git a/kernel/defs.h b/kernel/defs.h
index 5ad05ca..c3e6e6e 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -4,12 +4,10 @@ struct file;
 struct inode;
 struct pipe;
 struct proc;
-struct rtcdate;
 struct spinlock;
 struct sleeplock;
 struct stat;
 struct superblock;
-struct sysframe;
 
 // bio.c
 void            binit(void);
@@ -59,42 +57,17 @@ void            ramdiskinit(void);
 void            ramdiskintr(void);
 void            ramdiskrw(struct buf*);
 
-// ioapic.c
-void            ioapicenable(int irq, int cpu);
-extern uchar    ioapicid;
-void            ioapicinit(void);
-
 // kalloc.c
 void*           kalloc(void);
 void            kfree(void *);
 void            kinit();
 
-// kbd.c
-void            kbdintr(void);
-
-// lapic.c
-void            cmostime(struct rtcdate *r);
-int             lapicid(void);
-extern volatile uint*    lapic;
-void            lapiceoi(void);
-void            lapicinit(void);
-void            lapicstartap(uchar, uint);
-void            microdelay(int);
-
 // log.c
 void            initlog(int dev);
 void            log_write(struct buf*);
 void            begin_op();
 void            end_op();
 
-// mp.c
-extern int      ismp;
-void            mpinit(void);
-
-// picirq.c
-void            picenable(int);
-void            picinit(void);
-
 // pipe.c
 int             pipealloc(struct file**, struct file**);
 void            pipeclose(struct pipe*, int);
@@ -161,9 +134,6 @@ int             fetchstr(uint64, char*, int);
 int             fetchaddr(uint64, uint64*);
 void            syscall();
 
-// timer.c
-void            timerinit(void);
-
 // trap.c
 extern uint     ticks;
 void            trapinit(void);