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 9 void cpu_sandbox_set_current(const char *name); 10 11 #endif /* __SANDBOX_CPU_H */ 12