diff options
Diffstat (limited to 'pk/sbi.h')
| -rw-r--r-- | pk/sbi.h | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -12,8 +12,9 @@ unsigned long sbi_query_memory(unsigned long id, memory_block_info *p); unsigned long sbi_hart_id(void); unsigned long sbi_num_harts(void); unsigned long sbi_timebase(void); -void sbi_send_ipi(uintptr_t hart_id); -void sbi_console_putchar(unsigned char ch); +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); typedef struct { @@ -23,7 +24,7 @@ typedef struct { unsigned long sbi_private_data; } sbi_device_message; -unsigned long sbi_send_device_request(uintptr_t req); -uintptr_t sbi_receive_device_response(void); +unsigned long sbi_send_device_request(unsigned long req); +unsigned long sbi_receive_device_response(void); #endif |