HelenOS sources
WMI_SERVICE_GROUP 61 uspace/drv/nic/ar9271/wmi.h WMI_CONTROL_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 0),
WMI_SERVICE_GROUP 62 uspace/drv/nic/ar9271/wmi.h WMI_BEACON_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 1),
WMI_SERVICE_GROUP 63 uspace/drv/nic/ar9271/wmi.h WMI_CAB_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 2),
WMI_SERVICE_GROUP 64 uspace/drv/nic/ar9271/wmi.h WMI_UAPSD_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 3),
WMI_SERVICE_GROUP 65 uspace/drv/nic/ar9271/wmi.h WMI_MGMT_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 4),
WMI_SERVICE_GROUP 66 uspace/drv/nic/ar9271/wmi.h WMI_DATA_VOICE_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 5),
WMI_SERVICE_GROUP 67 uspace/drv/nic/ar9271/wmi.h WMI_DATA_VIDEO_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 6),
WMI_SERVICE_GROUP 68 uspace/drv/nic/ar9271/wmi.h WMI_DATA_BE_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 7),
WMI_SERVICE_GROUP 69 uspace/drv/nic/ar9271/wmi.h WMI_DATA_BK_SERVICE = CREATE_SERVICE_ID(WMI_SERVICE_GROUP, 8)
HelenOS homepage, sources at GitHub