diff options
| author | Robert Morris <[email protected]> | 2019-10-03 15:02:19 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-10-03 15:02:19 -0400 |
| commit | 56583b1402a7f8fad0f8c3c296e26f12b1114c95 (patch) | |
| tree | 68ea77f02de3b3dabea5c976f6bac571be0478d6 /kernel/plic.c | |
| parent | 78f863f8aead6346dfdfc62e91af25c9383e25a7 (diff) | |
| download | xv6-labs-56583b1402a7f8fad0f8c3c296e26f12b1114c95.tar.gz xv6-labs-56583b1402a7f8fad0f8c3c296e26f12b1114c95.tar.bz2 xv6-labs-56583b1402a7f8fad0f8c3c296e26f12b1114c95.zip | |
updated alarmtest
Diffstat (limited to 'kernel/plic.c')
| -rw-r--r-- | kernel/plic.c | 14 |
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) |