diff options
| author | Bernard Xiong <[email protected]> | 2018-10-26 06:35:42 +0800 |
|---|---|---|
| committer | Bernard Xiong <[email protected]> | 2018-10-26 06:35:42 +0800 |
| commit | 484afe9d2cb07c9e552ff905328eecb7170e8c8a (patch) | |
| tree | c5a3e180665c7d49167da6dbefb08dcf88fff0f3 /include/rthw.h | |
| parent | d23a65d54ec519b0b1bb844d3b2758b2253d4ff7 (diff) | |
[Kernel] Add 64bit CPU support.
Diffstat (limited to 'include/rthw.h')
| -rw-r--r-- | include/rthw.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/include/rthw.h b/include/rthw.h index c6af392e62..17151de99a 100644 --- a/include/rthw.h +++ b/include/rthw.h @@ -98,14 +98,14 @@ void rt_hw_interrupt_enable(rt_base_t level); /* * Context interfaces */ -void rt_hw_context_switch(rt_uint32_t from, rt_uint32_t to); -void rt_hw_context_switch_to(rt_uint32_t to); -void rt_hw_context_switch_interrupt(rt_uint32_t from, rt_uint32_t to); +void rt_hw_context_switch(rt_ubase_t from, rt_ubase_t to); +void rt_hw_context_switch_to(rt_ubase_t to); +void rt_hw_context_switch_interrupt(rt_ubase_t from, rt_ubase_t to); void rt_hw_console_output(const char *str); -void rt_hw_backtrace(rt_uint32_t *fp, rt_uint32_t thread_entry); -void rt_hw_show_memory(rt_uint32_t addr, rt_uint32_t size); +void rt_hw_backtrace(rt_uint32_t *fp, rt_ubase_t thread_entry); +void rt_hw_show_memory(rt_uint32_t addr, rt_size_t size); /* * Exception interfaces |