source: mainline/uspace/srv/devman/devman.c@ 2480e19

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 2480e19 was 2480e19, checked in by Lenka Trochtova <trochtova.lenka@…>, 15 years ago

fixed some bugs

  • Property mode set to 100644
File size: 18.6 KB
RevLine 
[0358da0]1/*
2 * Copyright (c) 2010 Lenka Trochtova
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
[e2b9a993]29/** @addtogroup devman
[0358da0]30 * @{
31 */
32
33#include <errno.h>
[e4c4247]34#include <fcntl.h>
[85e48a9]35#include <sys/stat.h>
[084ff99]36#include <ipc/driver.h>
37#include <ipc/devman.h>
[0358da0]38
[e2b9a993]39#include "devman.h"
40#include "util.h"
[0358da0]41
[0c3666d]42/** Allocate and initialize a new driver structure.
43 *
44 * @return driver structure.
45 */
[e2b9a993]46driver_t * create_driver()
[92413de]47{
[e4c4247]48 driver_t *res = malloc(sizeof(driver_t));
49 if(res != NULL) {
[08d9c4e6]50 init_driver(res);
[e4c4247]51 }
52 return res;
53}
54
[0c3666d]55/** Add a driver to the list of drivers.
56 *
57 * @param drivers_list the list of drivers.
58 * @param drv the driver's structure.
59 */
60void add_driver(driver_list_t *drivers_list, driver_t *drv)
61{
62 fibril_mutex_lock(&drivers_list->drivers_mutex);
63 list_prepend(&drv->drivers, &drivers_list->drivers);
64 fibril_mutex_unlock(&drivers_list->drivers_mutex);
65
66 printf(NAME": the '%s' driver was added to the list of available drivers.\n", drv->name);
67}
68
69/** Read match id at the specified position of a string and set
70 * the position in the string to the first character following the id.
71 *
72 * @param buf the position in the input string.
73 *
74 * @return the match id.
75 */
76char * read_match_id(const char **buf)
[e4c4247]77{
78 char *res = NULL;
[e2b9a993]79 size_t len = get_nonspace_len(*buf);
[e4c4247]80 if (len > 0) {
81 res = malloc(len + 1);
82 if (res != NULL) {
83 str_ncpy(res, len + 1, *buf, len);
84 *buf += len;
85 }
86 }
87 return res;
88}
89
[0c3666d]90/**
91 * Read match ids and associated match scores from a string.
92 *
93 * Each match score in the string is followed by its match id.
94 * The match ids and match scores are separated by whitespaces.
95 * Neither match ids nor match scores can contain whitespaces.
96 *
97 * @param buf the string from which the match ids are read.
98 * @param ids the list of match ids into which the match ids and scores are added.
99 *
100 * @return true if at least one match id and associated match score was successfully read, false otherwise.
101 */
[e2b9a993]102bool parse_match_ids(const char *buf, match_id_list_t *ids)
[e4c4247]103{
104 int score = 0;
105 char *id = NULL;
106 int ids_read = 0;
107
108 while (true) {
109 // skip spaces
110 if (!skip_spaces(&buf)) {
111 break;
112 }
113 // read score
114 score = strtoul(buf, &buf, 10);
115
116 // skip spaces
117 if (!skip_spaces(&buf)) {
118 break;
119 }
120
121 // read id
[0c3666d]122 if (NULL == (id = read_match_id(&buf))) {
[e4c4247]123 break;
124 }
125
126 // create new match_id structure
127 match_id_t *mid = create_match_id();
128 mid->id = id;
129 mid->score = score;
130
131 /// add it to the list
132 add_match_id(ids, mid);
133
134 ids_read++;
135 }
136
137 return ids_read > 0;
138}
139
[0c3666d]140/**
141 * Read match ids and associated match scores from a file.
142 *
143 * Each match score in the file is followed by its match id.
144 * The match ids and match scores are separated by whitespaces.
145 * Neither match ids nor match scores can contain whitespaces.
146 *
147 * @param buf the path to the file from which the match ids are read.
148 * @param ids the list of match ids into which the match ids and scores are added.
149 *
150 * @return true if at least one match id and associated match score was successfully read, false otherwise.
151 */
[e2b9a993]152bool read_match_ids(const char *conf_path, match_id_list_t *ids)
[e4c4247]153{
[08d9c4e6]154 printf(NAME ": read_match_ids conf_path = %s.\n", conf_path);
155
[e4c4247]156 bool suc = false;
157 char *buf = NULL;
158 bool opened = false;
159 int fd;
160 off_t len = 0;
161
162 fd = open(conf_path, O_RDONLY);
163 if (fd < 0) {
164 printf(NAME ": unable to open %s\n", conf_path);
165 goto cleanup;
166 }
167 opened = true;
168
169 len = lseek(fd, 0, SEEK_END);
170 lseek(fd, 0, SEEK_SET);
171 if (len == 0) {
172 printf(NAME ": configuration file '%s' is empty.\n", conf_path);
173 goto cleanup;
174 }
175
176 buf = malloc(len + 1);
177 if (buf == NULL) {
178 printf(NAME ": memory allocation failed when parsing file '%s'.\n", conf_path);
179 goto cleanup;
180 }
181
182 if (0 >= read(fd, buf, len)) {
183 printf(NAME ": unable to read file '%s'.\n", conf_path);
184 goto cleanup;
185 }
186 buf[len] = 0;
187
188 suc = parse_match_ids(buf, ids);
189
190cleanup:
191
192 free(buf);
193
194 if(opened) {
195 close(fd);
196 }
197
198 return suc;
199}
200
[0c3666d]201/**
202 * Get information about a driver.
203 *
204 * Each driver has its own directory in the base directory.
205 * The name of the driver's directory is the same as the name of the driver.
206 * The driver's directory contains driver's binary (named as the driver without extension)
207 * and the configuration file with match ids for device-to-driver matching
208 * (named as the driver with a special extension).
209 *
210 * This function searches for the driver's directory and containing configuration files.
211 * If all the files needed are found, they are parsed and
212 * the information about the driver is stored to the driver's structure.
213 *
214 * @param base_path the base directory, in which we look for driver's subdirectory.
215 * @param name the name of the driver.
216 * @param drv the driver structure to fill information in.
217 *
218 * @return true on success, false otherwise.
219 */
[e2b9a993]220bool get_driver_info(const char *base_path, const char *name, driver_t *drv)
[e4c4247]221{
[08d9c4e6]222 printf(NAME ": get_driver_info base_path = %s, name = %s.\n", base_path, name);
223
[e4c4247]224 assert(base_path != NULL && name != NULL && drv != NULL);
225
226 bool suc = false;
227 char *match_path = NULL;
228 size_t name_size = 0;
229
230 // read the list of match ids from the driver's configuration file
231 if (NULL == (match_path = get_abs_path(base_path, name, MATCH_EXT))) {
232 goto cleanup;
233 }
234
235 if (!read_match_ids(match_path, &drv->match_ids)) {
236 goto cleanup;
237 }
238
239 // allocate and fill driver's name
240 name_size = str_size(name)+1;
241 drv->name = malloc(name_size);
242 if (!drv->name) {
243 goto cleanup;
244 }
245 str_cpy(drv->name, name_size, name);
246
[85e48a9]247 // initialize path with driver's binary
248 if (NULL == (drv->binary_path = get_abs_path(base_path, name, ""))) {
249 goto cleanup;
250 }
251
252 // check whether the driver's binary exists
253 struct stat s;
254 if (stat(drv->binary_path, &s) == ENOENT) {
255 printf(NAME ": driver not found at path %s.", drv->binary_path);
256 goto cleanup;
257 }
258
[e4c4247]259 suc = true;
260
261cleanup:
262
263 if (!suc) {
264 free(drv->binary_path);
265 free(drv->name);
266 // set the driver structure to the default state
267 init_driver(drv);
268 }
269
270 free(match_path);
271
272 return suc;
273}
274
275/** Lookup drivers in the directory.
276 *
[e2b9a993]277 * @param drivers_list the list of available drivers.
278 * @param dir_path the path to the directory where we search for drivers.
[0c3666d]279 *
280 * @return number of drivers which were found.
[e4c4247]281 */
[0c3666d]282int lookup_available_drivers(driver_list_t *drivers_list, const char *dir_path)
[e4c4247]283{
[d347b53]284 printf(NAME ": lookup_available_drivers, dir = %s \n", dir_path);
[08d9c4e6]285
[e4c4247]286 int drv_cnt = 0;
287 DIR *dir = NULL;
288 struct dirent *diren;
289
290 dir = opendir(dir_path);
[08d9c4e6]291
[e4c4247]292 if (dir != NULL) {
293 driver_t *drv = create_driver();
294 while ((diren = readdir(dir))) {
295 if (get_driver_info(dir_path, diren->d_name, drv)) {
[e2b9a993]296 add_driver(drivers_list, drv);
[08d9c4e6]297 drv_cnt++;
[e4c4247]298 drv = create_driver();
299 }
300 }
301 delete_driver(drv);
302 closedir(dir);
303 }
304
305 return drv_cnt;
306}
307
[084ff99]308/** Create root device node in the device tree.
[0c3666d]309 *
[084ff99]310 * @param tree the device tree.
311 * @return true on success, false otherwise.
[0c3666d]312 */
[084ff99]313bool create_root_node(dev_tree_t *tree)
[e4c4247]314{
[e85920d]315 printf(NAME ": create_root_node\n");
[e4c4247]316 node_t *node = create_dev_node();
[85e48a9]317 if (node) {
[bda60d9]318 insert_dev_node(tree, node, "", NULL);
[85e48a9]319 match_id_t *id = create_match_id();
320 id->id = "root";
321 id->score = 100;
322 add_match_id(&node->match_ids, id);
[084ff99]323 tree->root_node = node;
[85e48a9]324 }
[084ff99]325 return node != NULL;
[85e48a9]326}
327
[0c3666d]328/** Lookup the best matching driver for the specified device in the list of drivers.
329 *
330 * A match between a device and a driver is found
331 * if one of the driver's match ids match one of the device's match ids.
332 * The score of the match is the product of the driver's and device's score associated with the matching id.
333 * The best matching driver for a device is the driver
334 * with the highest score of the match between the device and the driver.
335 *
336 * @param drivers_list the list of drivers, where we look for the driver suitable for handling the device.
337 * @param node the device node structure of the device.
338 *
339 * @return the best matching driver or NULL if no matching driver is found.
340 */
341driver_t * find_best_match_driver(driver_list_t *drivers_list, node_t *node)
[e4c4247]342{
[2480e19]343 //printf(NAME ": find_best_match_driver for device '%s' \n", node->pathname);
[85e48a9]344 driver_t *best_drv = NULL, *drv = NULL;
345 int best_score = 0, score = 0;
346
[0c3666d]347 fibril_mutex_lock(&drivers_list->drivers_mutex);
[729fa2d6]348
[0c3666d]349 link_t *link = drivers_list->drivers.next;
350 while (link != &drivers_list->drivers) {
[85e48a9]351 drv = list_get_instance(link, driver_t, drivers);
352 score = get_match_score(drv, node);
353 if (score > best_score) {
354 best_score = score;
355 best_drv = drv;
[e85920d]356 }
357 link = link->next;
[0c3666d]358 }
[729fa2d6]359
[0c3666d]360 fibril_mutex_unlock(&drivers_list->drivers_mutex);
[e4c4247]361
[85e48a9]362 return best_drv;
363}
364
[0c3666d]365/**
366 * Assign a driver to a device.
367 *
368 * @param node the device's node in the device tree.
369 * @param drv the driver.
370 */
[e2b9a993]371void attach_driver(node_t *node, driver_t *drv)
[85e48a9]372{
[2480e19]373 printf(NAME ": attach_driver %s to device %s\n", drv->name, node->pathname);
374
[0c3666d]375 fibril_mutex_lock(&drv->driver_mutex);
376
[85e48a9]377 node->drv = drv;
378 list_append(&node->driver_devices, &drv->devices);
[0c3666d]379
380 fibril_mutex_unlock(&drv->driver_mutex);
[85e48a9]381}
382
[0c3666d]383/** Start a driver.
384 *
385 * The driver's mutex is assumed to be locked.
386 *
387 * @param drv the driver's structure.
388 * @return true if the driver's task is successfully spawned, false otherwise.
389 */
[e2b9a993]390bool start_driver(driver_t *drv)
[85e48a9]391{
[d347b53]392 printf(NAME ": start_driver '%s'\n", drv->name);
[e85920d]393
[85e48a9]394 char *argv[2];
395
396 argv[0] = drv->name;
397 argv[1] = NULL;
398
399 if (!task_spawn(drv->binary_path, argv)) {
400 printf(NAME ": error spawning %s\n", drv->name);
401 return false;
402 }
403
[e85920d]404 drv->state = DRIVER_STARTING;
[85e48a9]405 return true;
406}
407
[bda60d9]408/** Find device driver in the list of device drivers.
409 *
410 * @param drv_list the list of device drivers.
411 * @param drv_name the name of the device driver which is searched.
412 * @return the device driver of the specified name, if it is in the list, NULL otherwise.
413 */
[729fa2d6]414driver_t * find_driver(driver_list_t *drv_list, const char *drv_name)
415{
416 driver_t *res = NULL;
417
418 fibril_mutex_lock(&drv_list->drivers_mutex);
419
420 driver_t *drv = NULL;
421 link_t *link = drv_list->drivers.next;
422 while (link != &drv_list->drivers) {
423 drv = list_get_instance(link, driver_t, drivers);
424 if (0 == str_cmp(drv->name, drv_name)) {
425 res = drv;
426 break;
427 }
428 link = link->next;
429 }
430
431 fibril_mutex_unlock(&drv_list->drivers_mutex);
432
433 return res;
434}
435
[bda60d9]436/** Remember the driver's phone.
437 * @param driver the driver.
438 * @param phone the phone to the driver.
439 */
[c16cf62]440void set_driver_phone(driver_t *driver, ipcarg_t phone)
441{
442 fibril_mutex_lock(&driver->driver_mutex);
443 assert(DRIVER_STARTING == driver->state);
444 driver->phone = phone;
445 fibril_mutex_unlock(&driver->driver_mutex);
446}
447
448/**
449 * Notify driver about the devices to which it was assigned.
450 *
451 * The driver's mutex must be locked.
452 *
453 * @param driver the driver to which the devices are passed.
454 */
455static void pass_devices_to_driver(driver_t *driver)
456{
[d347b53]457 printf(NAME ": pass_devices_to_driver\n");
[c16cf62]458 node_t *dev;
459 link_t *link;
460
[084ff99]461 int phone = ipc_connect_me_to(driver->phone, DRIVER_DEVMAN, 0, 0);
462
463 if (0 < phone) {
464
465 link = driver->devices.next;
466 while (link != &driver->devices) {
467 dev = list_get_instance(link, node_t, driver_devices);
468 add_device(phone, driver, dev);
469 link = link->next;
470 }
471
472 ipc_hangup(phone);
473 }
[c16cf62]474}
475
[bda60d9]476/** Finish the initialization of a driver after it has succesfully started
477 * and after it has registered itself by the device manager.
[c16cf62]478 *
479 * Pass devices formerly matched to the driver to the driver and remember the driver is running and fully functional now.
480 *
481 * @param driver the driver which registered itself as running by the device manager.
482 */
483void initialize_running_driver(driver_t *driver)
[084ff99]484{
[d347b53]485 printf(NAME ": initialize_running_driver\n");
[c16cf62]486 fibril_mutex_lock(&driver->driver_mutex);
487
488 // pass devices which have been already assigned to the driver to the driver
489 pass_devices_to_driver(driver);
490
491 // change driver's state to running
492 driver->state = DRIVER_RUNNING;
493
494 fibril_mutex_unlock(&driver->driver_mutex);
495}
496
[0c3666d]497/** Pass a device to running driver.
498 *
499 * @param drv the driver's structure.
500 * @param node the device's node in the device tree.
501 */
[084ff99]502void add_device(int phone, driver_t *drv, node_t *node)
[85e48a9]503{
[e85920d]504 printf(NAME ": add_device\n");
[084ff99]505
506 ipcarg_t ret;
507 ipcarg_t rc = async_req_1_1(phone, DRIVER_ADD_DEVICE, node->handle, &ret);
508 if (rc != EOK) {
509 // TODO handle error
[5cd136ab]510 return;
[084ff99]511 }
[e85920d]512
[084ff99]513 // TODO inspect return value (ret) to find out whether the device was successfully probed and added
[85e48a9]514
[5cd136ab]515 return;
[85e48a9]516}
517
[084ff99]518/**
[0c3666d]519 * Find suitable driver for a device and assign the driver to it.
520 *
521 * @param node the device node of the device in the device tree.
522 * @param drivers_list the list of available drivers.
523 *
524 * @return true if the suitable driver is found and successfully assigned to the device, false otherwise.
525 */
526bool assign_driver(node_t *node, driver_list_t *drivers_list)
[85e48a9]527{
[2480e19]528 //printf(NAME ": assign_driver\n");
[e85920d]529
[85e48a9]530 // find the driver which is the most suitable for handling this device
[e2b9a993]531 driver_t *drv = find_best_match_driver(drivers_list, node);
[85e48a9]532 if (NULL == drv) {
[d347b53]533 printf(NAME ": no driver found for device '%s'.\n", node->pathname);
[85e48a9]534 return false;
535 }
536
537 // attach the driver to the device
538 attach_driver(node, drv);
539
[e85920d]540 if (DRIVER_NOT_STARTED == drv->state) {
[85e48a9]541 // start driver
542 start_driver(drv);
[e85920d]543 }
544
545 if (DRIVER_RUNNING == drv->state) {
[85e48a9]546 // notify driver about new device
[084ff99]547 int phone = ipc_connect_me_to(drv->phone, DRIVER_DEVMAN, 0, 0);
548 if (phone > 0) {
549 add_device(phone, drv, node);
550 ipc_hangup(phone);
551 }
[85e48a9]552 }
553
554 return true;
555}
556
[0c3666d]557/**
558 * Initialize the device tree.
559 *
560 * Create root device node of the tree and assign driver to it.
561 *
562 * @param tree the device tree.
563 * @param the list of available drivers.
564 * @return true on success, false otherwise.
565 */
566bool init_device_tree(dev_tree_t *tree, driver_list_t *drivers_list)
[85e48a9]567{
[e85920d]568 printf(NAME ": init_device_tree.\n");
[0c3666d]569
[bda60d9]570 memset(tree->node_map, 0, MAX_DEV * sizeof(node_t *));
571
[084ff99]572 atomic_set(&tree->current_handle, 0);
573
[85e48a9]574 // create root node and add it to the device tree
[084ff99]575 if (!create_root_node(tree)) {
[85e48a9]576 return false;
577 }
[e4c4247]578
579 // find suitable driver and start it
[e2b9a993]580 return assign_driver(tree->root_node, drivers_list);
[e4c4247]581}
582
[bda60d9]583/** Create and set device's full path in device tree.
584 *
585 * @param node the device's device node.
586 * @param parent the parent device node.
587 * @return true on success, false otherwise (insufficient resources etc.).
588 */
589static bool set_dev_path(node_t *node, node_t *parent)
590{
591 assert(NULL != node->name);
592
593 size_t pathsize = (str_size(node->name) + 1);
594 if (NULL != parent) {
[eff1a590]595 pathsize += str_size(parent->pathname) + 1;
[bda60d9]596 }
597
598 if (NULL == (node->pathname = (char *)malloc(pathsize))) {
599 printf(NAME ": failed to allocate device path.\n");
600 return false;
601 }
602
603 if (NULL != parent) {
604 str_cpy(node->pathname, pathsize, parent->pathname);
605 str_append(node->pathname, pathsize, "/");
606 str_append(node->pathname, pathsize, node->name);
607 } else {
608 str_cpy(node->pathname, pathsize, node->name);
609 }
610
611 return true;
612}
613
614/** Insert new device into device tree.
615 *
616 * @param tree the device tree.
617 * @param node the newly added device node.
618 * @param dev_name the name of the newly added device.
619 * @param parent the parent device node.
620 * @return true on success, false otherwise (insufficient resources etc.).
621 */
[5cd136ab]622bool insert_dev_node(dev_tree_t *tree, node_t *node, char *dev_name, node_t *parent)
[bda60d9]623{
[2480e19]624 // printf(NAME ": insert_dev_node\n");
[bda60d9]625
[d347b53]626 assert(NULL != node && NULL != tree && NULL != dev_name);
[bda60d9]627
628 node->name = dev_name;
629 if (!set_dev_path(node, parent)) {
630 return false;
631 }
632
633 // add the node to the handle-to-node map
634 node->handle = atomic_postinc(&tree->current_handle);
635 if (node->handle >= MAX_DEV) {
636 printf(NAME ": failed to add device to device tree, because maximum number of devices was reached.\n");
637 free(node->pathname);
638 node->pathname = NULL;
639 atomic_postdec(&tree->current_handle);
640 return false;
641 }
642 tree->node_map[node->handle] = node;
643
644 // add the node to the list of its parent's children
645 node->parent = parent;
646 if (NULL != parent) {
647 fibril_mutex_lock(&parent->children_mutex);
648 list_append(&node->sibling, &parent->children);
649 fibril_mutex_unlock(&parent->children_mutex);
650 }
651 return true;
652}
653
[5cd136ab]654/**
655 * Find device node with a specified path in the device tree.
656 *
657 * @param path the path of the device node in the device tree.
658 * @param tree the device tree.
659 *
660 * @return the device node if it is present in the tree, NULL otherwise.
661 */
662node_t * find_dev_node_by_path(dev_tree_t *tree, char *path)
663{
664 node_t *dev = tree->root_node;
665 char *rel_path = path;
666 char *next_path_elem = NULL;
667 size_t elem_size = 0;
668 bool cont = '/' == rel_path[0];
669
670 while (cont && NULL != dev) {
671 next_path_elem = get_path_elem_end(rel_path+1);
672 if ('/' == next_path_elem[0]) {
673 cont = true;
674 next_path_elem[0] = 0;
675 } else {
676 cont = false;
677 }
678
679 dev = find_node_child(dev, rel_path);
680
681 if (cont) {
682 next_path_elem[0] = '/';
683 }
684 rel_path = next_path_elem;
685 }
686
687 return dev;
688}
689
690/**
691 * Find child device node with a specified name.
692 *
693 * @param parent the parent device node.
694 * @param name the name of the child device node.
695 *
696 * @return the child device node.
697 */
698node_t *find_node_child(node_t *parent, const char *name)
699{
700 node_t *dev;
701 link_t *link;
702
703 fibril_mutex_lock(&parent->children_mutex);
704 link = parent->children.next;
705
706 while (link != &parent->children) {
707 dev = list_get_instance(link, node_t, sibling);
708
709 if (0 == str_cmp(name, dev->name)) {
710 fibril_mutex_unlock(&parent->children_mutex);
711 return dev;
712 }
[2480e19]713
714 link = link->next;
[5cd136ab]715 }
716
717 fibril_mutex_unlock(&parent->children_mutex);
718 return NULL;
719}
720
[c16cf62]721/** @}
722 */
Note: See TracBrowser for help on using the repository browser.