| Sean Anderson | 79d3bba | 2020-09-28 10:52:23 -0400 | [diff] [blame] | 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 */ | ||||