ACPI_FPS_NAME_LEN
char name[ACPI_FPS_NAME_LEN];
snprintf(fps->name, ACPI_FPS_NAME_LEN, "state%d", i);