| /* | |
| * PowerPC misc useful things | |
| * | |
| * Copyright (c) 2024, IBM Corporation. | |
| * | |
| * SPDX-License-Identifier: GPL-2.0-or-later | |
| */ | |
| #ifndef PPC_UTIL_H | |
| #define PPC_UTIL_H | |
| /* List of capabilities needed to silence warnings with TCG */ | |
| #define PSERIES_DEFAULT_CAPABILITIES \ | |
| "cap-cfpc=broken," \ | |
| "cap-sbbc=broken," \ | |
| "cap-ibs=broken," \ | |
| "cap-ccf-assist=off," | |
| #endif /* PPC_UTIL_H */ |