1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2020 Sean Anderson <seanga2@gmail.com>
4 */
5
6#ifndef __SANDBOX_CPU_H
7#define __SANDBOX_CPU_H
8
9void cpu_sandbox_set_current(const char *name);
10
11#endif /* __SANDBOX_CPU_H */
12