88     InputOption *input_options = NULL;  in wscons_add_keyboard()  local
115     input_options = input_option_new(input_options, "_source", "server/wscons");  in wscons_add_keyboard()
116     if (input_options == NULL)  in wscons_add_keyboard()
121     input_options = input_option_new(input_options, "name", WSCONS_KBD_DEVICE);  in wscons_add_keyboard()
122     input_options = input_option_new(input_options, "driver", "kbd");  in wscons_add_keyboard()
136             input_options = input_option_new(input_options,  in wscons_add_keyboard()
144             input_options = input_option_new(input_options,  in wscons_add_keyboard()
152             input_options = input_option_new(input_options,  in wscons_add_keyboard()
160             input_options = input_option_new(input_options,  in wscons_add_keyboard()
167     rc = NewInputDeviceRequest(input_options, &attrs, &dev);  in wscons_add_keyboard()
176     input_option_free_list(&input_options);  in wscons_add_keyboard()
184     InputOption *input_options = NULL;  in wscons_add_pointer()  local
192     input_options = input_option_new(input_options, "_source", "server/wscons");  in wscons_add_pointer()
193     if (input_options == NULL)  in wscons_add_pointer()
196     input_options = input_option_new(input_options, "name", strdup(path));  in wscons_add_pointer()
197     input_options = input_option_new(input_options, "driver", strdup(driver));  in wscons_add_pointer()
198     input_options = input_option_new(input_options, "device", strdup(path));  in wscons_add_pointer()
201     rc = NewInputDeviceRequest(input_options, &attrs, &dev);  in wscons_add_pointer()
210     input_option_free_list(&input_options);  in wscons_add_pointer()