var format_device = | |
[ | |
[ "/package element", "format_package.html", null ], | |
[ "/processor element", "format_processor.html", "format_processor" ], | |
[ "/resources element", "format_resources.html", "format_resources" ], | |
[ "/memory_map element", "format_memory_map.html", "format_memory_map" ] | |
]; |