wmi_services_t 51 uspace/drv/nic/ar9271/htc.c static inline uint8_t wmi_service_to_download_pipe(wmi_services_t service_id) wmi_services_t 63 uspace/drv/nic/ar9271/htc.c static inline uint8_t wmi_service_to_upload_pipe(wmi_services_t service_id) wmi_services_t 242 uspace/drv/nic/ar9271/htc.c wmi_services_t service_id, int *response_endpoint_no)HelenOS homepage, sources at GitHub