1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ARCH_HALTPOLL_H
3#define _ARCH_HALTPOLL_H
4
5void arch_haltpoll_enable(unsigned int cpu);
6void arch_haltpoll_disable(unsigned int cpu);
7
8#endif
9