HP_WMI_BIOS_INTEGER_GUID (reference) in projects: drivers

Searched refs:HP_WMI_BIOS_INTEGER_GUID (Results 1 – 3 of 3) sorted by relevance

/drivers/platform/x86/hp/hp-bioscfg/
A D	int-attributes.c	`111 bioscfg_drv.integer_instances_count = hp_get_instance_count(HP_WMI_BIOS_INTEGER_GUID); in hp_alloc_integer_data()`
A D	bioscfg.h	`62 #define HP_WMI_BIOS_INTEGER_GUID "8232DE3D-663D-4327-A8F4-E293ADB9BF05" macro`
A D	bioscfg.c	`1005 ret = hp_init_bios_attributes(HPWMI_INTEGER_TYPE, HP_WMI_BIOS_INTEGER_GUID); in hp_init()`

Completed in 10 milliseconds