Searched refs:cadl (Results 1 – 1 of 1) sorted by relevance
79 uint32_t cadl[8]; /* currently active display list */ member208 for (i = 0; i < ARRAY_SIZE(acpi->cadl); i++) in decode_acpi()209 printf("\t\tcadl[%d]:\t0x%08x\n", i, acpi->cadl[i]); in decode_acpi()