1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright IBM Corp. 2024 4 */ 5 6 #ifndef _ASM_HIPERDISPATCH_H 7 #define _ASM_HIPERDISPATCH_H 8 9 void hd_reset_state(void); 10 void hd_add_core(int cpu); 11 void hd_disable_hiperdispatch(void); 12 int hd_enable_hiperdispatch(void); 13 14 #endif /* _ASM_HIPERDISPATCH_H */ 15