ts-7200/dist/linux24/drivers/acpi/dispatcher
