var a00919 =
[
    [ "Device Manager Sequence Charts", "a00920.html", "a00920" ],
    [ "Service/Protocol Types", "a01002.html", "a01002" ],
    [ "Device Manager Events", "a01003.html", "a01003" ],
    [ "Device Manager Data Types", "a01007.html", "a01007" ],
    [ "Device Module APIs", "a01008.html", "a01008" ],
    [ "Device Manager Configuration", "a01248.html", "a01248" ]
];