| 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 | |||||
| Simon Glass | 9a27d9d | 2024-10-28 13:47:57 +0100 | [diff] [blame] | 11 | /* show the mapping of sandbox addresses to pointers */ |
| 12 | void sandbox_map_list(void); | ||||
| 13 | |||||
| Sean Anderson | 79d3bba | 2020-09-28 10:52:23 -0400 | [diff] [blame] | 14 | #endif /* __SANDBOX_CPU_H */ |