diff --git a/src/arch/riscv/mcall.c b/src/arch/riscv/mcall.c index eaef6442c5..afb17c1043 100644 --- a/src/arch/riscv/mcall.c +++ b/src/arch/riscv/mcall.c @@ -25,24 +25,15 @@ * MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. */ -#include -#include -#include #include #include #include -int mcalldebug; // set this interactively for copious debug. - void hls_init(uint32_t hart_id, void *fdt) { - printk(BIOS_SPEW, "hart %d: HLS is %p\n", hart_id, HLS()); memset(HLS(), 0, sizeof(*HLS())); HLS()->fdt = fdt; HLS()->hart_id = hart_id; mtime_init(); - - printk(BIOS_SPEW, "Time is %p and timecmp is %p\n", - HLS()->time, HLS()->timecmp); }