| 1920 | } |
| 1921 | |
| 1922 | static void generate_outputc(FILE *f, const char *static_header) |
| 1923 | { |
| 1924 | fprintf(f, "#include <boot/coreboot_tables.h>\n"); |
| 1925 | fprintf(f, "#include <device/device.h>\n"); |
| 1926 | fprintf(f, "#include <device/pci.h>\n"); |
| 1927 | fprintf(f, "#include <fw_config.h>\n"); |
| 1928 | fprintf(f, "#include <identity.h>\n"); |
| 1929 | fprintf(f, "#include <%s>\n", static_header); |
| 1930 | emit_chip_headers(f, chip_header.next); |
| 1931 | emit_identifiers(f, "struct device_operations", device_operations); |
| 1932 | fprintf(f, "\n#define STORAGE static __maybe_unused DEVTREE_CONST\n\n"); |
| 1933 | |
| 1934 | walk_device_tree(NULL, NULL, &base_root_dev, inherit_subsystem_ids); |
| 1935 | fprintf(f, "\n/* pass 0 */\n"); |
| 1936 | walk_device_tree(f, NULL, &base_root_dev, pass0); |
| 1937 | walk_device_tree(NULL, NULL, &base_root_dev, update_references); |
| 1938 | fprintf(f, "\n/* chip configs */\n"); |
| 1939 | emit_chip_configs(f); |
| 1940 | fprintf(f, "\n/* pass 1 */\n"); |
| 1941 | walk_device_tree(f, NULL, &base_root_dev, pass1); |
| 1942 | } |
| 1943 | |
| 1944 | static void generate_outputd(FILE *gen, FILE *dev) |
| 1945 | { |
no test coverage detected