gpe_type          729 drivers/acpi/acpica/dbdisply.c 	char *gpe_type;
gpe_type          760 drivers/acpi/acpica/dbdisply.c 				gpe_type = "FADT-defined GPE block";
gpe_type          762 drivers/acpi/acpica/dbdisply.c 				gpe_type = "GPE Block Device";
gpe_type          768 drivers/acpi/acpica/dbdisply.c 			     gpe_type);