179 	struct device_info *di;  in ub_dev_enum()  local
183 	di = &devices[0];  in ub_dev_enum()
185 	if (!syscall(API_DEV_ENUM, NULL, di))  in ub_dev_enum()
188 	while (di->cookie != NULL) {  in ub_dev_enum()
194 		di++;  in ub_dev_enum()
197 		di->cookie = devices[n - 1].cookie;  in ub_dev_enum()
199 		if (!syscall(API_DEV_ENUM, NULL, di))  in ub_dev_enum()
213 	struct device_info *di;  in ub_dev_open()  local
219 	di = &devices[handle];  in ub_dev_open()
221 	if (!syscall(API_DEV_OPEN, &err, di))  in ub_dev_open()
229 	struct device_info *di;  in ub_dev_close()  local
234 	di = &devices[handle];  in ub_dev_close()
235 	if (!syscall(API_DEV_CLOSE, NULL, di))  in ub_dev_close()
275 	struct device_info *di;  in ub_dev_read()  local
282 	di = &devices[handle];  in ub_dev_read()
283 	if (!syscall(API_DEV_READ, &err, di, buf, &len, &start, &act_len))  in ub_dev_read()
305 	struct device_info *di;  in ub_dev_recv()  local
311 	di = &devices[handle];  in ub_dev_recv()
312 	if (!syscall(API_DEV_READ, &err, di, buf, &len, &act_len))  in ub_dev_recv()
323 	struct device_info *di;  in ub_dev_send()  local
329 	di = &devices[handle];  in ub_dev_send()
330 	if (!syscall(API_DEV_WRITE, &err, di, buf, &len))  in ub_dev_send()
394 int ub_display_get_info(int type, struct display_info *di)  in ub_display_get_info()  argument
398 	if (!syscall(API_DISPLAY_GET_INFO, &err, type, di))  in ub_display_get_info()