Searched refs:DELL_WMI_BIOS_INTEGER_ATTRIBUTE_GUID (Results 1 – 3 of 3) sorted by relevance
25 obj = get_wmiobj_pointer(instance_id, DELL_WMI_BIOS_INTEGER_ATTRIBUTE_GUID); in current_value_show()124 wmi_priv.integer_instances_count = get_instance_count(DELL_WMI_BIOS_INTEGER_ATTRIBUTE_GUID); in alloc_int_data()
20 #define DELL_WMI_BIOS_INTEGER_ATTRIBUTE_GUID "F1DDEE52-063C-4784-A11E-8A06684B9BFA" macro
581 ret = init_bios_attributes(INT, DELL_WMI_BIOS_INTEGER_ATTRIBUTE_GUID); in sysman_init()