diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-11-03 16:30:35 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-11-03 16:36:40 -0700 |
| commit | d1849cb5e3b8c714c2dae78bb15465f288707ac5 (patch) | |
| tree | b3aad5d06c4b9fec59d1e6ecba1fbd25d1833814 /machine/mtrap.c | |
| parent | 3815c611158f435d36121c2c433af664ad86d8ca (diff) | |
| download | pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.zip pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.gz pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.bz2 | |
Remove the platform interface
We now automatically detect everything that the platform interface used
to be used for, so it's now obsolete!
Diffstat (limited to 'machine/mtrap.c')
| -rw-r--r-- | machine/mtrap.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/machine/mtrap.c b/machine/mtrap.c index dba3613..0f77def 100644 --- a/machine/mtrap.c +++ b/machine/mtrap.c @@ -8,7 +8,6 @@ #include "finisher.h" #include "fdt.h" #include "unprivileged_memory.h" -#include "platform_interface.h" #include "disabled_hart_mask.h" #include <errno.h> #include <stdarg.h> @@ -23,7 +22,7 @@ static uintptr_t mcall_console_putchar(uint8_t ch) { if (uart) { uart_putchar(ch); - } else if (platform__use_htif()) { + } else if (htif) { htif_console_putchar(ch); } return 0; @@ -33,7 +32,7 @@ void poweroff(uint16_t code) { printm("Power off\n"); finisher_exit(code); - if (platform__use_htif()) { + if (htif) { htif_poweroff(); } else { while (1); @@ -74,7 +73,7 @@ static uintptr_t mcall_console_getchar() { if (uart) { return uart_getchar(); - } else if (platform__use_htif()) { + } else if (htif) { return htif_console_getchar(); } else { return '\0'; |