diff options
Diffstat (limited to 'kernel/defs.h')
| -rw-r--r-- | kernel/defs.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/defs.h b/kernel/defs.h index f893d28..9c5f643 100644 --- a/kernel/defs.h +++ b/kernel/defs.h @@ -173,7 +173,6 @@ int copyinstr(pagetable_t, char *, uint64, uint64); // plic.c void plicinit(void); void plicinithart(void); -uint64 plic_pending(void); int plic_claim(void); void plic_complete(int); |