/* Copyright (c) 2015 The Regents of the University of California
 * Kevin Klues <klueska@cs.berkeley.edu>
 * See LICENSE for details. */

#pragma once

/* Do nothing for now until we have the ability to build up the topology on
 * riscv. */
static void topology_init(void) {}
static void print_cpu_topology(void) {}