Searched refs:chpd (Results 1 – 1 of 1) sorted by relevance
83 uint32_t chpd; /* current hotplug enable indicator */ member217 printf("\tchpd:\t0x%08x\n", acpi->chpd); in decode_acpi()