/proc/self/root/sys/module/xen_acpi_processor/parameters