| 1886 | } |
| 1887 | |
| 1888 | static void parse_override_devicetree(const char *file, struct device *dev) |
| 1889 | { |
| 1890 | parse_devicetree(file, dev->bus); |
| 1891 | |
| 1892 | if (!dev_has_children(dev)) { |
| 1893 | fprintf(stderr, "ERROR: Override tree needs at least one device!\n"); |
| 1894 | exit(1); |
| 1895 | } |
| 1896 | |
| 1897 | override_devicetree(&base_root_bus, dev->bus); |
| 1898 | } |
| 1899 | |
| 1900 | static void generate_outputh(FILE *f, const char *fw_conf_header, const char *device_header) |
| 1901 | { |
no test coverage detected