18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _ARCH_HALTPOLL_H
38c2ecf20Sopenharmony_ci#define _ARCH_HALTPOLL_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_civoid arch_haltpoll_enable(unsigned int cpu);
68c2ecf20Sopenharmony_civoid arch_haltpoll_disable(unsigned int cpu);
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#endif
9