root/include/config/have/acpi/apei/

[..]
  1. nmi.h
[..]