180 	struct device_info *di;  in ub_dev_enum()  local
184 	di = &devices[0];  in ub_dev_enum()
186 	if (!syscall(API_DEV_ENUM, NULL, di))  in ub_dev_enum()
189 	while (di->cookie != NULL) {  in ub_dev_enum()
195 		di++;  in ub_dev_enum()
198 		di->cookie = devices[n - 1].cookie;  in ub_dev_enum()
200 		if (!syscall(API_DEV_ENUM, NULL, di))  in ub_dev_enum()
214 	struct device_info *di;  in ub_dev_open()  local
220 	di = &devices[handle];  in ub_dev_open()
222 	if (!syscall(API_DEV_OPEN, &err, di))  in ub_dev_open()
230 	struct device_info *di;  in ub_dev_close()  local
235 	di = &devices[handle];  in ub_dev_close()
236 	if (!syscall(API_DEV_CLOSE, NULL, di))  in ub_dev_close()
276 	struct device_info *di;  in ub_dev_read()  local
283 	di = &devices[handle];  in ub_dev_read()
284 	if (!syscall(API_DEV_READ, &err, di, buf, &len, &start, &act_len))  in ub_dev_read()
306 	struct device_info *di;  in ub_dev_recv()  local
312 	di = &devices[handle];  in ub_dev_recv()
313 	if (!syscall(API_DEV_READ, &err, di, buf, &len, &act_len))  in ub_dev_recv()
324 	struct device_info *di;  in ub_dev_send()  local
330 	di = &devices[handle];  in ub_dev_send()
331 	if (!syscall(API_DEV_WRITE, &err, di, buf, &len))  in ub_dev_send()
395 int ub_display_get_info(int type, struct display_info *di)  in ub_display_get_info()  argument
399 	if (!syscall(API_DISPLAY_GET_INFO, &err, type, di))  in ub_display_get_info()