HelenOS sources

WMI_CONTROL_SERVICE   53 uspace/drv/nic/ar9271/htc.c 	return (service_id == WMI_CONTROL_SERVICE) ? 3 : 2;
WMI_CONTROL_SERVICE   65 uspace/drv/nic/ar9271/htc.c 	return (service_id == WMI_CONTROL_SERVICE) ? 4 : 1;
WMI_CONTROL_SERVICE  466 uspace/drv/nic/ar9271/htc.c 	rc = htc_connect_service(htc_device, WMI_CONTROL_SERVICE,