VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / init.h
1 /* See COPYRIGHT for copyright information. */
2
3 #pragma once
4
5 extern size_t argc;
6 extern char** argv;
7
8 void arch_init();