1 files changed, 3 insertions, 11 deletions

diff --git a/pk/sbi.h b/pk/sbi.h
index cc112d9..4e2fbd8 100644
--- a/pk/sbi.h
+++ b/pk/sbi.h
@@ -15,23 +15,15 @@ unsigned long sbi_timebase(void);
 void sbi_set_timer(unsigned long long stime_value);
 void sbi_send_ipi(unsigned long hart_id);
 unsigned long sbi_clear_ipi(void);
-void sbi_console_putchar(unsigned long ch);
 void sbi_shutdown(void);
 
+void sbi_console_putchar(unsigned char ch);
+int sbi_console_getchar(void);
+
 void sbi_remote_sfence_vm(unsigned long hart_mask_ptr, unsigned long asid);
 void sbi_remote_sfence_vm_range(unsigned long hart_mask_ptr, unsigned long asid, unsigned long start, unsigned long size);
 void sbi_remote_fence_i(unsigned long hart_mask_ptr);
 
-typedef struct {
-  unsigned long dev;
-  unsigned long cmd;
-  unsigned long data;
-  unsigned long sbi_private_data;
-} sbi_device_message;
-
-unsigned long sbi_send_device_request(unsigned long req);
-unsigned long sbi_receive_device_response(void);
-
 unsigned long sbi_mask_interrupt(unsigned long which);
 unsigned long sbi_unmask_interrupt(unsigned long which);