linux/drivers/acpi/+code=acpi_idle_play_dead
<<
>>
Prefs
Node not found: drivers/acpi/+code=acpi_idle_play_dead (xilinx-v2016.4)