summaryrefslogtreecommitdiff
path: root/kernel/plic.c
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/plic.c')
-rw-r--r--kernel/plic.c14
1 files changed, 0 insertions, 14 deletions
diff --git a/kernel/plic.c b/kernel/plic.c
index b569492..eed8316 100644
--- a/kernel/plic.c
+++ b/kernel/plic.c
@@ -28,20 +28,6 @@ plicinithart(void)
*(uint32*)PLIC_SPRIORITY(hart) = 0;
}
-// return a bitmap of which IRQs are waiting
-// to be served.
-uint64
-plic_pending(void)
-{
- uint64 mask;
-
- //mask = *(uint32*)(PLIC + 0x1000);
- //mask |= (uint64)*(uint32*)(PLIC + 0x1004) << 32;
- mask = *(uint64*)PLIC_PENDING;
-
- return mask;
-}
-
// ask the PLIC what interrupt we should serve.
int
plic_claim(void)