hiperdispatch.h

 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
 9void hd_reset_state(void);
10void hd_add_core(int cpu);
11void hd_disable_hiperdispatch(void);
12int hd_enable_hiperdispatch(void);
13
14#endif /* _ASM_HIPERDISPATCH_H */