urls_downloaded_cb({"token":"wpdevice","urls":[{"url":"device.html#WP_TYPE_DEVICE","node_type":"p","context":{"gi-language":["c"]}},{"url":"device.html#WpDevice","node_type":"symbol","context":{"gi-language":["c"]}}]});