/drivers/platform/x86/wmi.mod.c