kern/arch/riscv/ros/vmm.h

/* Copyright (c) 2015 Google Inc.
 * Barret Rhoden <brho@cs.berkeley.edu>
 * See LICENSE for details.
 *
 * RISC-V VMM kernel headers */

#pragma once

struct vmm_gpcore_init {
}