| 1942 | } |
| 1943 | |
| 1944 | static void generate_outputd(FILE *gen, FILE *dev) |
| 1945 | { |
| 1946 | fprintf(dev, "#ifndef __STATIC_DEVICES_H\n"); |
| 1947 | fprintf(dev, "#define __STATIC_DEVICES_H\n\n"); |
| 1948 | fprintf(dev, "#include <device/pci_type.h>\n"); |
| 1949 | fprintf(dev, "#include <device/pnp_type.h>\n"); |
| 1950 | fprintf(dev, "#include <device/device.h>\n\n"); |
| 1951 | fprintf(dev, "/* expose_device_names */\n"); |
| 1952 | walk_device_tree(gen, dev, &base_root_dev, expose_device_names); |
| 1953 | fprintf(dev, "\n#endif /* __STATIC_DEVICE_NAMES_H */\n"); |
| 1954 | } |
| 1955 | |
| 1956 | static void generate_outputf(FILE *f) |
| 1957 | { |
no test coverage detected