Searched refs:acpi_print_gicc_flags (Results 1 – 1 of 1) sorted by relevance
415 acpi_print_gicc_flags(uint32_t flags) in acpi_print_gicc_flags() function561 acpi_print_gicc_flags(gicc->Flags); in acpi_print_madt()