1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifdef CONFIG_ACPI_PRMT
4 void init_prmt(void);
5 #else
init_prmt(void)6 static inline void init_prmt(void) { }
7 #endif
8