Symbol: acpi_sdei_init
drivers/firmware/arm_sdei.c
1065
void __init acpi_sdei_init(void)
include/linux/arm_sdei.h
54
static inline void acpi_sdei_init(void) { }