original_kernel/include/acpi/hed.h