1 files changed, 0 insertions, 2 deletions
diff --git a/pk/mtrap.h b/pk/mtrap.h
index 5d2154f..7b2a181 100644
--- a/pk/mtrap.h
+++ b/pk/mtrap.h
@@ -179,8 +179,6 @@ typedef struct {
 #define IPI_FENCE_I   0x2
 #define IPI_SFENCE_VM 0x4
 
-void request_htif_keyboard_interrupt();
-
 void hls_init(uint32_t hart_id, csr_t* csrs);
 
 #define MACHINE_STACK_TOP() ({ \