sdei_table_header 1099 drivers/firmware/arm_sdei.c 	struct acpi_table_header *sdei_table_header;
sdei_table_header 1104 drivers/firmware/arm_sdei.c 	status = acpi_get_table(ACPI_SIG_SDEI, 0, &sdei_table_header);