4 /* Format of output device state (ACPI 4.0a, Table B-6). */