Symbol: WMI_BUS_COOKIE
src/add-ons/kernel/drivers/wmi/WMIACPI.cpp
113
{ WMI_BUS_COOKIE, B_UINT32_TYPE, { .ui32 = index }},
src/add-ons/kernel/drivers/wmi/WMIDevice.cpp
25
fInitStatus = gDeviceManager->get_attr_uint32(node, WMI_BUS_COOKIE,