/* SPDX-License-Identifier: GPL-2.0-only */

#ifdef CONFIG_ACPI_PRMT
void init_prmt(void);
#else
static inline void init_prmt(void) { }
#endif