WMI_GUID_DUPLICATED
set_bit(WMI_GUID_DUPLICATED, &wblock->flags);
if (test_bit(WMI_GUID_DUPLICATED, &wblock->flags))
if (test_bit(WMI_GUID_DUPLICATED, &wblock->flags) && !wdriver->no_singleton) {