kern/arch/riscv/init.h

/* See COPYRIGHT for copyright information. */

#pragma once

extern size_t argc;
extern char** argv;

void arch_init();