ACPICPU_C_C3_LATENCY_MAX
CTASSERT(ACPICPU_C_C3_LATENCY_MAX == 1000);
if (AcpiGbl_FADT.C3Latency > ACPICPU_C_C3_LATENCY_MAX)