linux/drivers/acpi/apei/+code=CONFIG_HAVE_ACPI_APEI_NMI
<<
>>
Prefs
Node not found: drivers/acpi/apei/+code=CONFIG_HAVE_ACPI_APEI_NMI (v4.17)