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