Symbol: WMI_GUID_DUPLICATED
drivers/platform/wmi/core.c
1223
set_bit(WMI_GUID_DUPLICATED, &wblock->flags);
drivers/platform/wmi/core.c
156
if (test_bit(WMI_GUID_DUPLICATED, &wblock->flags))
drivers/platform/wmi/core.c
992
if (test_bit(WMI_GUID_DUPLICATED, &wblock->flags) && !wdriver->no_singleton) {