cregit-Linux how code gets into the kernel

Release 4.15 scripts/dtc/checks.c

Directory: scripts/dtc
/*
 * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation.  2007.
 *
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307
 *                                                                   USA
 */

#include "dtc.h"

#ifdef TRACE_CHECKS

#define TRACE(c, ...) \
	do { \
                fprintf(stderr, "=== %s: ", (c)->name); \
                fprintf(stderr, __VA_ARGS__); \
                fprintf(stderr, "\n"); \
        } while (0)
#else

#define TRACE(c, fmt, ...)	do { } while (0)
#endif


enum checkstatus {
	
UNCHECKED = 0,
	
PREREQ,
	
PASSED,
	
FAILED,
};

struct check;


typedef void (*check_fn)(struct check *c, struct dt_info *dti, struct node *node);


struct check {
	
const char *name;
	
check_fn fn;
	
void *data;
	

bool warn, error;
	
enum checkstatus status;
	
bool inprogress;
	
int num_prereqs;
	
struct check **prereq;
};


#define CHECK_ENTRY(_nm, _fn, _d, _w, _e, ...)	       \
	static struct check *_nm##_prereqs[] = { __VA_ARGS__ }; \
        static struct check _nm = { \
                .name = #_nm, \
                .fn = (_fn), \
                .data = (_d), \
                .warn = (_w), \
                .error = (_e), \
                .status = UNCHECKED, \
                .num_prereqs = ARRAY_SIZE(_nm##_prereqs), \
                .prereq = _nm##_prereqs, \
        };

#define WARNING(_nm, _fn, _d, ...) \
	CHECK_ENTRY(_nm, _fn, _d, true, false, __VA_ARGS__)

#define ERROR(_nm, _fn, _d, ...) \
	CHECK_ENTRY(_nm, _fn, _d, false, true, __VA_ARGS__)

#define CHECK(_nm, _fn, _d, ...) \
	CHECK_ENTRY(_nm, _fn, _d, false, false, __VA_ARGS__)


static inline void  PRINTF(3, 4) check_msg(struct check *c, struct dt_info *dti,
					   const char *fmt, ...)
{
	va_list ap;
	va_start(ap, fmt);

	if ((c->warn && (quiet < 1))
	    || (c->error && (quiet < 2))) {
		fprintf(stderr, "%s: %s (%s): ",
			strcmp(dti->outname, "-") ? dti->outname : "<stdout>",
			(c->error) ? "ERROR" : "Warning", c->name);
		vfprintf(stderr, fmt, ap);
		fprintf(stderr, "\n");
	}
	va_end(ap);
}


#define FAIL(c, dti, ...)						\
	do {                                                            \
                TRACE((c), "\t\tFAILED at %s:%d", __FILE__, __LINE__);  \
                (c)->status = FAILED;                                   \
                check_msg((c), dti, __VA_ARGS__);                       \
        } while (0)


static void check_nodes_props(struct check *c, struct dt_info *dti, struct node *node) { struct node *child; TRACE(c, "%s", node->fullpath); if (c->fn) c->fn(c, dti, node); for_each_child(node, child) check_nodes_props(c, dti, child); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson6391.30%150.00%
Rob Herring68.70%150.00%
Total69100.00%2100.00%


static bool run_check(struct check *c, struct dt_info *dti) { struct node *dt = dti->dt; bool error = false; int i; assert(!c->inprogress); if (c->status != UNCHECKED) goto out; c->inprogress = true; for (i = 0; i < c->num_prereqs; i++) { struct check *prq = c->prereq[i]; error = error || run_check(prq, dti); if (prq->status != PASSED) { c->status = PREREQ; check_msg(c, dti, "Failed prerequisite '%s'", c->prereq[i]->name); } } if (c->status != UNCHECKED) goto out; check_nodes_props(c, dti, dt); if (c->status == UNCHECKED) c->status = PASSED; TRACE(c, "\tCompleted, status %d", c->status); out: c->inprogress = false; if ((c->status != PASSED) && (c->error)) error = true; return error; }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson18387.98%120.00%
Rob Herring2411.54%360.00%
Stephen Warren10.48%120.00%
Total208100.00%5100.00%

/* * Utility check functions */ /* A check which always fails, for testing purposes only */
static inline void check_always_fail(struct check *c, struct dt_info *dti, struct node *node) { FAIL(c, dti, "always_fail check"); }

Contributors

PersonTokensPropCommitsCommitProp
Stephen Warren2374.19%133.33%
Rob Herring825.81%266.67%
Total31100.00%3100.00%

CHECK(always_fail, check_always_fail, NULL);
static void check_is_string(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; char *propname = c->data; prop = get_property(node, propname); if (!prop) return; /* Not present, assumed ok */ if (!data_is_one_string(prop->val)) FAIL(c, dti, "\"%s\" property in %s is not a string", propname, node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson7194.67%133.33%
Rob Herring45.33%266.67%
Total75100.00%3100.00%

#define WARNING_IF_NOT_STRING(nm, propname) \ WARNING(nm, check_is_string, (propname)) #define ERROR_IF_NOT_STRING(nm, propname) \ ERROR(nm, check_is_string, (propname))
static void check_is_cell(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; char *propname = c->data; prop = get_property(node, propname); if (!prop) return; /* Not present, assumed ok */ if (prop->val.len != sizeof(cell_t)) FAIL(c, dti, "\"%s\" property in %s is not a single cell", propname, node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson7494.87%133.33%
Rob Herring45.13%266.67%
Total78100.00%3100.00%

#define WARNING_IF_NOT_CELL(nm, propname) \ WARNING(nm, check_is_cell, (propname)) #define ERROR_IF_NOT_CELL(nm, propname) \ ERROR(nm, check_is_cell, (propname)) /* * Structural check functions */
static void check_duplicate_node_names(struct check *c, struct dt_info *dti, struct node *node) { struct node *child, *child2; for_each_child(node, child) for (child2 = child->next_sibling; child2; child2 = child2->next_sibling) if (streq(child->name, child2->name)) FAIL(c, dti, "Duplicate node name %s", child->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson7394.81%133.33%
Rob Herring45.19%266.67%
Total77100.00%3100.00%

ERROR(duplicate_node_names, check_duplicate_node_names, NULL);
static void check_duplicate_property_names(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop, *prop2; for_each_property(node, prop) { for (prop2 = prop->next; prop2; prop2 = prop2->next) { if (prop2->deleted) continue; if (streq(prop->name, prop2->name)) FAIL(c, dti, "Duplicate property name %s in %s", prop->name, node->fullpath); } } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson7783.70%125.00%
Stephen Warren1111.96%125.00%
Rob Herring44.35%250.00%
Total92100.00%4100.00%

ERROR(duplicate_property_names, check_duplicate_property_names, NULL); #define LOWERCASE "abcdefghijklmnopqrstuvwxyz" #define UPPERCASE "ABCDEFGHIJKLMNOPQRSTUVWXYZ" #define DIGITS "0123456789" #define PROPNODECHARS LOWERCASE UPPERCASE DIGITS ",._+*#?-" #define PROPNODECHARSSTRICT LOWERCASE UPPERCASE DIGITS ",-"
static void check_node_name_chars(struct check *c, struct dt_info *dti, struct node *node) { int n = strspn(node->name, c->data); if (n < strlen(node->name)) FAIL(c, dti, "Bad character '%c' in node %s", node->name[n], node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson6293.94%133.33%
Rob Herring46.06%266.67%
Total66100.00%3100.00%

ERROR(node_name_chars, check_node_name_chars, PROPNODECHARS "@");
static void check_node_name_chars_strict(struct check *c, struct dt_info *dti, struct node *node) { int n = strspn(node->name, c->data); if (n < node->basenamelen) FAIL(c, dti, "Character '%c' not recommended in node %s", node->name[n], node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring63100.00%1100.00%
Total63100.00%1100.00%

CHECK(node_name_chars_strict, check_node_name_chars_strict, PROPNODECHARSSTRICT);
static void check_node_name_format(struct check *c, struct dt_info *dti, struct node *node) { if (strchr(get_unitname(node), '@')) FAIL(c, dti, "Node %s has multiple '@' characters in name", node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson4291.30%133.33%
Rob Herring48.70%266.67%
Total46100.00%3100.00%

ERROR(node_name_format, check_node_name_format, NULL, &node_name_chars);
static void check_unit_address_vs_reg(struct check *c, struct dt_info *dti, struct node *node) { const char *unitname = get_unitname(node); struct property *prop = get_property(node, "reg"); if (!prop) { prop = get_property(node, "ranges"); if (prop && !prop->val.len) prop = NULL; } if (prop) { if (!unitname[0]) FAIL(c, dti, "Node %s has a reg or ranges property, but no unit name", node->fullpath); } else { if (unitname[0]) FAIL(c, dti, "Node %s has a unit name, but no reg property", node->fullpath); } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring124100.00%3100.00%
Total124100.00%3100.00%

WARNING(unit_address_vs_reg, check_unit_address_vs_reg, NULL);
static void check_property_name_chars(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; for_each_property(node, prop) { int n = strspn(prop->name, c->data); if (n < strlen(prop->name)) FAIL(c, dti, "Bad character '%c' in property name \"%s\", node %s", prop->name[n], prop->name, node->fullpath); } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson6983.13%133.33%
Rob Herring1416.87%266.67%
Total83100.00%3100.00%

ERROR(property_name_chars, check_property_name_chars, PROPNODECHARS);
static void check_property_name_chars_strict(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; for_each_property(node, prop) { const char *name = prop->name; int n = strspn(name, c->data); if (n == strlen(prop->name)) continue; /* Certain names are whitelisted */ if (streq(name, "device_type")) continue; /* * # is only allowed at the beginning of property names not counting * the vendor prefix. */ if (name[n] == '#' && ((n == 0) || (name[n-1] == ','))) { name += n + 1; n = strspn(name, c->data); } if (n < strlen(name)) FAIL(c, dti, "Character '%c' not recommended in property name \"%s\", node %s", name[n], prop->name, node->fullpath); } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring13284.08%250.00%
David Gibson159.55%125.00%
John Bonesio106.37%125.00%
Total157100.00%4100.00%

CHECK(property_name_chars_strict, check_property_name_chars_strict, PROPNODECHARSSTRICT); #define DESCLABEL_FMT "%s%s%s%s%s" #define DESCLABEL_ARGS(node,prop,mark) \ ((mark) ? "value of " : ""), \ ((prop) ? "'" : ""), \ ((prop) ? (prop)->name : ""), \ ((prop) ? "' in " : ""), (node)->fullpath
static void check_duplicate_label(struct check *c, struct dt_info *dti, const char *label, struct node *node, struct property *prop, struct marker *mark) { struct node *dt = dti->dt; struct node *othernode = NULL; struct property *otherprop = NULL; struct marker *othermark = NULL; othernode = get_node_by_label(dt, label); if (!othernode) otherprop = get_property_by_label(dt, label, &othernode); if (!othernode) othermark = get_marker_label(dt, label, &othernode, &otherprop); if (!othernode) return; if ((othernode != node) || (otherprop != prop) || (othermark != mark)) FAIL(c, dti, "Duplicate label '%s' on " DESCLABEL_FMT " and " DESCLABEL_FMT, label, DESCLABEL_ARGS(node, prop, mark), DESCLABEL_ARGS(othernode, otherprop, othermark)); }

Contributors

PersonTokensPropCommitsCommitProp
John Bonesio9555.88%133.33%
Rob Herring7443.53%133.33%
David Gibson10.59%133.33%
Total170100.00%3100.00%


static void check_duplicate_label_node(struct check *c, struct dt_info *dti, struct node *node) { struct label *l; struct property *prop; for_each_label(node->labels, l) check_duplicate_label(c, dti, l->label, node, NULL, NULL); for_each_property(node, prop) { struct marker *m = prop->val.markers; for_each_label(prop->labels, l) check_duplicate_label(c, dti, l->label, node, prop, NULL); for_each_marker_of_type(m, LABEL) check_duplicate_label(c, dti, m->ref, node, prop, m); } }

Contributors

PersonTokensPropCommitsCommitProp
John Bonesio9680.67%133.33%
Rob Herring1714.29%133.33%
David Gibson65.04%133.33%
Total119100.00%3100.00%

ERROR(duplicate_label, check_duplicate_label_node, NULL);
static cell_t check_phandle_prop(struct check *c, struct dt_info *dti, struct node *node, const char *propname) { struct node *root = dti->dt; struct property *prop; struct marker *m; cell_t phandle; prop = get_property(node, propname); if (!prop) return 0; if (prop->val.len != sizeof(cell_t)) { FAIL(c, dti, "%s has bad length (%d) %s property", node->fullpath, prop->val.len, prop->name); return 0; } m = prop->val.markers; for_each_marker_of_type(m, REF_PHANDLE) { assert(m->offset == 0); if (node != get_node_by_ref(root, m->ref)) /* "Set this node's phandle equal to some * other node's phandle". That's nonsensical * by construction. */ { FAIL(c, dti, "%s in %s is a reference to another node", prop->name, node->fullpath); } /* But setting this node's phandle equal to its own * phandle is allowed - that means allocate a unique * phandle for this node, even if it's not otherwise * referenced. The value will be filled in later, so * we treat it as having no phandle data for now. */ return 0; } phandle = propval_cell(prop); if ((phandle == 0) || (phandle == -1)) { FAIL(c, dti, "%s has bad value (0x%x) in %s property", node->fullpath, phandle, prop->name); return 0; } return phandle; }

Contributors

PersonTokensPropCommitsCommitProp
John Bonesio9744.70%125.00%
David Gibson6931.80%125.00%
Rob Herring5123.50%250.00%
Total217100.00%4100.00%


static void check_explicit_phandles(struct check *c, struct dt_info *dti, struct node *node) { struct node *root = dti->dt; struct node *other; cell_t phandle, linux_phandle; /* Nothing should have assigned phandles yet */ assert(!node->phandle); phandle = check_phandle_prop(c, dti, node, "phandle"); linux_phandle = check_phandle_prop(c, dti, node, "linux,phandle"); if (!phandle && !linux_phandle) /* No valid phandles; nothing further to check */ return; if (linux_phandle && phandle && (phandle != linux_phandle)) FAIL(c, dti, "%s has mismatching 'phandle' and 'linux,phandle'" " properties", node->fullpath); if (linux_phandle && !phandle) phandle = linux_phandle; other = get_node_by_phandle(root, phandle); if (other && (other != node)) { FAIL(c, dti, "%s has duplicated phandle 0x%x (seen before at %s)", node->fullpath, phandle, other->fullpath); return; } node->phandle = phandle; }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring10461.54%250.00%
David Gibson4023.67%125.00%
John Bonesio2514.79%125.00%
Total169100.00%4100.00%

ERROR(explicit_phandles, check_explicit_phandles, NULL);
static void check_name_properties(struct check *c, struct dt_info *dti, struct node *node) { struct property **pp, *prop = NULL; for (pp = &node->proplist; *pp; pp = &((*pp)->next)) if (streq((*pp)->name, "name")) { prop = *pp; break; } if (!prop) return; /* No name property, that's fine */ if ((prop->val.len != node->basenamelen+1) || (memcmp(prop->val.val, node->name, node->basenamelen) != 0)) { FAIL(c, dti, "\"name\" property in %s is incorrect (\"%s\" instead" " of base node name)", node->fullpath, prop->val.val); } else { /* The name property is correct, and therefore redundant. * Delete it */ *pp = prop->next; free(prop->name); data_free(prop->val); free(prop); } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson17097.70%250.00%
Rob Herring42.30%250.00%
Total174100.00%4100.00%

ERROR_IF_NOT_STRING(name_is_string, "name"); ERROR(name_properties, check_name_properties, NULL, &name_is_string); /* * Reference fixup functions */
static void fixup_phandle_references(struct check *c, struct dt_info *dti, struct node *node) { struct node *dt = dti->dt; struct property *prop; for_each_property(node, prop) { struct marker *m = prop->val.markers; struct node *refnode; cell_t phandle; for_each_marker_of_type(m, REF_PHANDLE) { assert(m->offset + sizeof(cell_t) <= prop->val.len); refnode = get_node_by_ref(dt, m->ref); if (! refnode) { if (!(dti->dtsflags & DTSF_PLUGIN)) FAIL(c, dti, "Reference to non-existent node or " "label \"%s\"\n", m->ref); else /* mark the entry as unresolved */ *((fdt32_t *)(prop->val.val + m->offset)) = cpu_to_fdt32(0xffffffff); continue; } phandle = get_node_phandle(dt, refnode); *((fdt32_t *)(prop->val.val + m->offset)) = cpu_to_fdt32(phandle); } } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson12867.02%250.00%
Rob Herring6332.98%250.00%
Total191100.00%4100.00%

ERROR(phandle_references, fixup_phandle_references, NULL, &duplicate_node_names, &explicit_phandles);
static void fixup_path_references(struct check *c, struct dt_info *dti, struct node *node) { struct node *dt = dti->dt; struct property *prop; for_each_property(node, prop) { struct marker *m = prop->val.markers; struct node *refnode; char *path; for_each_marker_of_type(m, REF_PATH) { assert(m->offset <= prop->val.len); refnode = get_node_by_ref(dt, m->ref); if (!refnode) { FAIL(c, dti, "Reference to non-existent node or label \"%s\"\n", m->ref); continue; } path = refnode->fullpath; prop->val = data_insert_at_marker(prop->val, m, path, strlen(path) + 1); } } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson12184.03%133.33%
Rob Herring2315.97%266.67%
Total144100.00%3100.00%

ERROR(path_references, fixup_path_references, NULL, &duplicate_node_names); /* * Semantic checks */ WARNING_IF_NOT_CELL(address_cells_is_cell, "#address-cells"); WARNING_IF_NOT_CELL(size_cells_is_cell, "#size-cells"); WARNING_IF_NOT_CELL(interrupt_cells_is_cell, "#interrupt-cells"); WARNING_IF_NOT_STRING(device_type_is_string, "device_type"); WARNING_IF_NOT_STRING(model_is_string, "model"); WARNING_IF_NOT_STRING(status_is_string, "status");
static void fixup_addr_size_cells(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; node->addr_cells = -1; node->size_cells = -1; prop = get_property(node, "#address-cells"); if (prop) node->addr_cells = propval_cell(prop); prop = get_property(node, "#size-cells"); if (prop) node->size_cells = propval_cell(prop); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson8297.62%150.00%
Rob Herring22.38%150.00%
Total84100.00%2100.00%

WARNING(addr_size_cells, fixup_addr_size_cells, NULL, &address_cells_is_cell, &size_cells_is_cell); #define node_addr_cells(n) \ (((n)->addr_cells == -1) ? 2 : (n)->addr_cells) #define node_size_cells(n) \ (((n)->size_cells == -1) ? 1 : (n)->size_cells)
static void check_reg_format(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; int addr_cells, size_cells, entrylen; prop = get_property(node, "reg"); if (!prop) return; /* No "reg", that's fine */ if (!node->parent) { FAIL(c, dti, "Root node has a \"reg\" property"); return; } if (prop->val.len == 0) FAIL(c, dti, "\"reg\" property in %s is empty", node->fullpath); addr_cells = node_addr_cells(node->parent); size_cells = node_size_cells(node->parent); entrylen = (addr_cells + size_cells) * sizeof(cell_t); if (!entrylen || (prop->val.len % entrylen) != 0) FAIL(c, dti, "\"reg\" property in %s has invalid length (%d bytes) " "(#address-cells == %d, #size-cells == %d)", node->fullpath, prop->val.len, addr_cells, size_cells); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson15293.25%125.00%
Rob Herring116.75%375.00%
Total163100.00%4100.00%

WARNING(reg_format, check_reg_format, NULL, &addr_size_cells);
static void check_ranges_format(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; int c_addr_cells, p_addr_cells, c_size_cells, p_size_cells, entrylen; prop = get_property(node, "ranges"); if (!prop) return; if (!node->parent) { FAIL(c, dti, "Root node has a \"ranges\" property"); return; } p_addr_cells = node_addr_cells(node->parent); p_size_cells = node_size_cells(node->parent); c_addr_cells = node_addr_cells(node); c_size_cells = node_size_cells(node); entrylen = (p_addr_cells + c_addr_cells + c_size_cells) * sizeof(cell_t); if (prop->val.len == 0) { if (p_addr_cells != c_addr_cells) FAIL(c, dti, "%s has empty \"ranges\" property but its " "#address-cells (%d) differs from %s (%d)", node->fullpath, c_addr_cells, node->parent->fullpath, p_addr_cells); if (p_size_cells != c_size_cells) FAIL(c, dti, "%s has empty \"ranges\" property but its " "#size-cells (%d) differs from %s (%d)", node->fullpath, c_size_cells, node->parent->fullpath, p_size_cells); } else if ((prop->val.len % entrylen) != 0) { FAIL(c, dti, "\"ranges\" property in %s has invalid length (%d bytes) " "(parent #address-cells == %d, child #address-cells == %d, " "#size-cells == %d)", node->fullpath, prop->val.len, p_addr_cells, c_addr_cells, c_size_cells); } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson22495.73%133.33%
Rob Herring104.27%266.67%
Total234100.00%3100.00%

WARNING(ranges_format, check_ranges_format, NULL, &addr_size_cells); static const struct bus_type pci_bus = { .name = "PCI", };
static void check_pci_bridge(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; cell_t *cells; prop = get_property(node, "device_type"); if (!prop || !streq(prop->val.val, "pci")) return; node->bus = &pci_bus; if (!strneq(node->name, "pci", node->basenamelen) && !strneq(node->name, "pcie", node->basenamelen)) FAIL(c, dti, "Node %s node name is not \"pci\" or \"pcie\"", node->fullpath); prop = get_property(node, "ranges"); if (!prop) FAIL(c, dti, "Node %s missing ranges for PCI bridge (or not a bridge)", node->fullpath); if (node_addr_cells(node) != 3) FAIL(c, dti, "Node %s incorrect #address-cells for PCI bridge", node->fullpath); if (node_size_cells(node) != 2) FAIL(c, dti, "Node %s incorrect #size-cells for PCI bridge", node->fullpath); prop = get_property(node, "bus-range"); if (!prop) { FAIL(c, dti, "Node %s missing bus-range for PCI bridge", node->fullpath); return; } if (prop->val.len != (sizeof(cell_t) * 2)) { FAIL(c, dti, "Node %s bus-range must be 2 cells", node->fullpath); return; } cells = (cell_t *)prop->val.val; if (fdt32_to_cpu(cells[0]) > fdt32_to_cpu(cells[1])) FAIL(c, dti, "Node %s bus-range 1st cell must be less than or equal to 2nd cell", node->fullpath); if (fdt32_to_cpu(cells[1]) > 0xff) FAIL(c, dti, "Node %s bus-range maximum bus number must be less than 256", node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring309100.00%1100.00%
Total309100.00%1100.00%

WARNING(pci_bridge, check_pci_bridge, NULL, &device_type_is_string, &addr_size_cells);
static void check_pci_device_bus_num(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; unsigned int bus_num, min_bus, max_bus; cell_t *cells; if (!node->parent || (node->parent->bus != &pci_bus)) return; prop = get_property(node, "reg"); if (!prop) return; cells = (cell_t *)prop->val.val; bus_num = (fdt32_to_cpu(cells[0]) & 0x00ff0000) >> 16; prop = get_property(node->parent, "bus-range"); if (!prop) { min_bus = max_bus = 0; } else { cells = (cell_t *)prop->val.val; min_bus = fdt32_to_cpu(cells[0]); max_bus = fdt32_to_cpu(cells[0]); } if ((bus_num < min_bus) || (bus_num > max_bus)) FAIL(c, dti, "Node %s PCI bus number %d out of range, expected (%d - %d)", node->fullpath, bus_num, min_bus, max_bus); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring192100.00%1100.00%
Total192100.00%1100.00%

WARNING(pci_device_bus_num, check_pci_device_bus_num, NULL, &reg_format, &pci_bridge);
static void check_pci_device_reg(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; const char *unitname = get_unitname(node); char unit_addr[5]; unsigned int dev, func, reg; cell_t *cells; if (!node->parent || (node->parent->bus != &pci_bus)) return; prop = get_property(node, "reg"); if (!prop) { FAIL(c, dti, "Node %s missing PCI reg property", node->fullpath); return; } cells = (cell_t *)prop->val.val; if (cells[1] || cells[2]) FAIL(c, dti, "Node %s PCI reg config space address cells 2 and 3 must be 0", node->fullpath); reg = fdt32_to_cpu(cells[0]); dev = (reg & 0xf800) >> 11; func = (reg & 0x700) >> 8; if (reg & 0xff000000) FAIL(c, dti, "Node %s PCI reg address is not configuration space", node->fullpath); if (reg & 0x000000ff) FAIL(c, dti, "Node %s PCI reg config space address register number must be 0", node->fullpath); if (func == 0) { snprintf(unit_addr, sizeof(unit_addr), "%x", dev); if (streq(unitname, unit_addr)) return; } snprintf(unit_addr, sizeof(unit_addr), "%x,%x", dev, func); if (streq(unitname, unit_addr)) return; FAIL(c, dti, "Node %s PCI unit address format error, expected \"%s\"", node->fullpath, unit_addr); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring281100.00%1100.00%
Total281100.00%1100.00%

WARNING(pci_device_reg, check_pci_device_reg, NULL, &reg_format, &pci_bridge); static const struct bus_type simple_bus = { .name = "simple-bus", };
static bool node_is_compatible(struct node *node, const char *compat) { struct property *prop; const char *str, *end; prop = get_property(node, "compatible"); if (!prop) return false; for (str = prop->val.val, end = str + prop->val.len; str < end; str += strnlen(str, end - str) + 1) { if (strneq(str, compat, end - str)) return true; } return false; }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring104100.00%1100.00%
Total104100.00%1100.00%


static void check_simple_bus_bridge(struct check *c, struct dt_info *dti, struct node *node) { if (node_is_compatible(node, "simple-bus")) node->bus = &simple_bus; }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring37100.00%1100.00%
Total37100.00%1100.00%

WARNING(simple_bus_bridge, check_simple_bus_bridge, NULL, &addr_size_cells);
static void check_simple_bus_reg(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; const char *unitname = get_unitname(node); char unit_addr[17]; unsigned int size; uint64_t reg = 0; cell_t *cells = NULL; if (!node->parent || (node->parent->bus != &simple_bus)) return; prop = get_property(node, "reg"); if (prop) cells = (cell_t *)prop->val.val; else { prop = get_property(node, "ranges"); if (prop && prop->val.len) /* skip of child address */ cells = ((cell_t *)prop->val.val) + node_addr_cells(node); } if (!cells) { if (node->parent->parent && !(node->bus == &simple_bus)) FAIL(c, dti, "Node %s missing or empty reg/ranges property", node->fullpath); return; } size = node_addr_cells(node->parent); while (size--) reg = (reg << 32) | fdt32_to_cpu(*(cells++)); snprintf(unit_addr, sizeof(unit_addr), "%"PRIx64, reg); if (!streq(unitname, unit_addr)) FAIL(c, dti, "Node %s simple-bus unit address format error, expected \"%s\"", node->fullpath, unit_addr); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring253100.00%2100.00%
Total253100.00%2100.00%

WARNING(simple_bus_reg, check_simple_bus_reg, NULL, &reg_format, &simple_bus_bridge);
static void check_unit_address_format(struct check *c, struct dt_info *dti, struct node *node) { const char *unitname = get_unitname(node); if (node->parent && node->parent->bus) return; if (!unitname[0]) return; if (!strncmp(unitname, "0x", 2)) { FAIL(c, dti, "Node %s unit name should not have leading \"0x\"", node->fullpath); /* skip over 0x for next test */ unitname += 2; } if (unitname[0] == '0' && isxdigit(unitname[1])) FAIL(c, dti, "Node %s unit name should not have leading 0s", node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring115100.00%1100.00%
Total115100.00%1100.00%

WARNING(unit_address_format, check_unit_address_format, NULL, &node_name_format, &pci_bridge, &simple_bus_bridge); /* * Style checks */
static void check_avoid_default_addr_size(struct check *c, struct dt_info *dti, struct node *node) { struct property *reg, *ranges; if (!node->parent) return; /* Ignore root node */ reg = get_property(node, "reg"); ranges = get_property(node, "ranges"); if (!reg && !ranges) return; if (node->parent->addr_cells == -1) FAIL(c, dti, "Relying on default #address-cells value for %s", node->fullpath); if (node->parent->size_cells == -1) FAIL(c, dti, "Relying on default #size-cells value for %s", node->fullpath); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson10391.15%133.33%
Rob Herring108.85%266.67%
Total113100.00%3100.00%

WARNING(avoid_default_addr_size, check_avoid_default_addr_size, NULL, &addr_size_cells);
static void check_obsolete_chosen_interrupt_controller(struct check *c, struct dt_info *dti, struct node *node) { struct node *dt = dti->dt; struct node *chosen; struct property *prop; if (node != dt) return; chosen = get_node_by_path(dt, "/chosen"); if (!chosen) return; prop = get_property(chosen, "interrupt-controller"); if (prop) FAIL(c, dti, "/chosen has obsolete \"interrupt-controller\" " "property"); }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson6171.76%133.33%
Rob Herring2428.24%266.67%
Total85100.00%3100.00%

WARNING(obsolete_chosen_interrupt_controller, check_obsolete_chosen_interrupt_controller, NULL); struct provider { const char *prop_name; const char *cell_name; bool optional; };
static void check_property_phandle_args(struct check *c, struct dt_info *dti, struct node *node, struct property *prop, const struct provider *provider) { struct node *root = dti->dt; int cell, cellsize = 0; if (prop->val.len % sizeof(cell_t)) { FAIL(c, dti, "property '%s' size (%d) is invalid, expected multiple of %zu in node %s", prop->name, prop->val.len, sizeof(cell_t), node->fullpath); return; } for (cell = 0; cell < prop->val.len / sizeof(cell_t); cell += cellsize + 1) { struct node *provider_node; struct property *cellprop; int phandle; phandle = propval_cell_n(prop, cell); /* * Some bindings use a cell value 0 or -1 to skip over optional * entries when each index position has a specific definition. */ if (phandle == 0 || phandle == -1) { /* Give up if this is an overlay with external references */ if (dti->dtsflags & DTSF_PLUGIN) break; cellsize = 0; continue; } /* If we have markers, verify the current cell is a phandle */ if (prop->val.markers) { struct marker *m = prop->val.markers; for_each_marker_of_type(m, REF_PHANDLE) { if (m->offset == (cell * sizeof(cell_t))) break; } if (!m) FAIL(c, dti, "Property '%s', cell %d is not a phandle reference in %s", prop->name, cell, node->fullpath); } provider_node = get_node_by_phandle(root, phandle); if (!provider_node) { FAIL(c, dti, "Could not get phandle node for %s:%s(cell %d)", node->fullpath, prop->name, cell); break; } cellprop = get_property(provider_node, provider->cell_name); if (cellprop) { cellsize = propval_cell(cellprop); } else if (provider->optional) { cellsize = 0; } else { FAIL(c, dti, "Missing property '%s' in node %s or bad phandle (referred from %s:%s[%d])", provider->cell_name, provider_node->fullpath, node->fullpath, prop->name, cell); break; } if (prop->val.len < ((cell + cellsize + 1) * sizeof(cell_t))) { FAIL(c, dti, "%s property size (%d) too small for cell size %d in %s", prop->name, prop->val.len, cellsize, node->fullpath); } } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring38898.48%266.67%
David Gibson61.52%133.33%
Total394100.00%3100.00%


static void check_provider_cells_property(struct check *c, struct dt_info *dti, struct node *node) { struct provider *provider = c->data; struct property *prop; prop = get_property(node, provider->prop_name); if (!prop) return; check_property_phandle_args(c, dti, node, prop, provider); }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring65100.00%1100.00%
Total65100.00%1100.00%

#define WARNING_PROPERTY_PHANDLE_CELLS(nm, propname, cells_name, ...) \ static struct provider nm##_provider = { (propname), (cells_name), __VA_ARGS__ }; \ WARNING(nm##_property, check_provider_cells_property, &nm##_provider, &phandle_references); WARNING_PROPERTY_PHANDLE_CELLS(clocks, "clocks", "#clock-cells"); WARNING_PROPERTY_PHANDLE_CELLS(cooling_device, "cooling-device", "#cooling-cells"); WARNING_PROPERTY_PHANDLE_CELLS(dmas, "dmas", "#dma-cells"); WARNING_PROPERTY_PHANDLE_CELLS(hwlocks, "hwlocks", "#hwlock-cells"); WARNING_PROPERTY_PHANDLE_CELLS(interrupts_extended, "interrupts-extended", "#interrupt-cells"); WARNING_PROPERTY_PHANDLE_CELLS(io_channels, "io-channels", "#io-channel-cells"); WARNING_PROPERTY_PHANDLE_CELLS(iommus, "iommus", "#iommu-cells"); WARNING_PROPERTY_PHANDLE_CELLS(mboxes, "mboxes", "#mbox-cells"); WARNING_PROPERTY_PHANDLE_CELLS(msi_parent, "msi-parent", "#msi-cells", true); WARNING_PROPERTY_PHANDLE_CELLS(mux_controls, "mux-controls", "#mux-control-cells"); WARNING_PROPERTY_PHANDLE_CELLS(phys, "phys", "#phy-cells"); WARNING_PROPERTY_PHANDLE_CELLS(power_domains, "power-domains", "#power-domain-cells"); WARNING_PROPERTY_PHANDLE_CELLS(pwms, "pwms", "#pwm-cells"); WARNING_PROPERTY_PHANDLE_CELLS(resets, "resets", "#reset-cells"); WARNING_PROPERTY_PHANDLE_CELLS(sound_dais, "sound-dais", "#sound-dai-cells"); WARNING_PROPERTY_PHANDLE_CELLS(thermal_sensors, "thermal-sensors", "#thermal-sensor-cells");
static bool prop_is_gpio(struct property *prop) { char *str; /* * *-gpios and *-gpio can appear in property names, * so skip over any false matches (only one known ATM) */ if (strstr(prop->name, "nr-gpio")) return false; str = strrchr(prop->name, '-'); if (str) str++; else str = prop->name; if (!(streq(str, "gpios") || streq(str, "gpio"))) return false; return true; }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring80100.00%1100.00%
Total80100.00%1100.00%


static void check_gpios_property(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; /* Skip GPIO hog nodes which have 'gpios' property */ if (get_property(node, "gpio-hog")) return; for_each_property(node, prop) { struct provider provider; if (!prop_is_gpio(prop)) continue; provider.prop_name = prop->name; provider.cell_name = "#gpio-cells"; provider.optional = false; check_property_phandle_args(c, dti, node, prop, &provider); } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring92100.00%1100.00%
Total92100.00%1100.00%

WARNING(gpios_property, check_gpios_property, NULL, &phandle_references);
static void check_deprecated_gpio_property(struct check *c, struct dt_info *dti, struct node *node) { struct property *prop; for_each_property(node, prop) { char *str; if (!prop_is_gpio(prop)) continue; str = strstr(prop->name, "gpio"); if (!streq(str, "gpio")) continue; FAIL(c, dti, "'[*-]gpio' is deprecated, use '[*-]gpios' instead for %s:%s", node->fullpath, prop->name); } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring86100.00%1100.00%
Total86100.00%1100.00%

CHECK(deprecated_gpio_property, check_deprecated_gpio_property, NULL);
static bool node_is_interrupt_provider(struct node *node) { struct property *prop; prop = get_property(node, "interrupt-controller"); if (prop) return true; prop = get_property(node, "interrupt-map"); if (prop) return true; return false; }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring51100.00%1100.00%
Total51100.00%1100.00%


static void check_interrupts_property(struct check *c, struct dt_info *dti, struct node *node) { struct node *root = dti->dt; struct node *irq_node = NULL, *parent = node; struct property *irq_prop, *prop = NULL; int irq_cells, phandle; irq_prop = get_property(node, "interrupts"); if (!irq_prop) return; if (irq_prop->val.len % sizeof(cell_t)) FAIL(c, dti, "property '%s' size (%d) is invalid, expected multiple of %zu in node %s", irq_prop->name, irq_prop->val.len, sizeof(cell_t), node->fullpath); while (parent && !prop) { if (parent != node && node_is_interrupt_provider(parent)) { irq_node = parent; break; } prop = get_property(parent, "interrupt-parent"); if (prop) { phandle = propval_cell(prop); /* Give up if this is an overlay with external references */ if ((phandle == 0 || phandle == -1) && (dti->dtsflags & DTSF_PLUGIN)) return; irq_node = get_node_by_phandle(root, phandle); if (!irq_node) { FAIL(c, dti, "Bad interrupt-parent phandle for %s", node->fullpath); return; } if (!node_is_interrupt_provider(irq_node)) FAIL(c, dti, "Missing interrupt-controller or interrupt-map property in %s", irq_node->fullpath); break; } parent = parent->parent; } if (!irq_node) { FAIL(c, dti, "Missing interrupt-parent for %s", node->fullpath); return; } prop = get_property(irq_node, "#interrupt-cells"); if (!prop) { FAIL(c, dti, "Missing #interrupt-cells in interrupt-parent %s", irq_node->fullpath); return; } irq_cells = propval_cell(prop); if (irq_prop->val.len % (irq_cells * sizeof(cell_t))) { FAIL(c, dti, "interrupts size is (%d), expected multiple of %d in %s", irq_prop->val.len, (int)(irq_cells * sizeof(cell_t)), node->fullpath); } }

Contributors

PersonTokensPropCommitsCommitProp
Rob Herring351100.00%2100.00%
Total351100.00%2100.00%

WARNING(interrupts_property, check_interrupts_property, &phandle_references); static struct check *check_table[] = { &duplicate_node_names, &duplicate_property_names, &node_name_chars, &node_name_format, &property_name_chars, &name_is_string, &name_properties, &duplicate_label, &explicit_phandles, &phandle_references, &path_references, &address_cells_is_cell, &size_cells_is_cell, &interrupt_cells_is_cell, &device_type_is_string, &model_is_string, &status_is_string, &property_name_chars_strict, &node_name_chars_strict, &addr_size_cells, &reg_format, &ranges_format, &unit_address_vs_reg, &unit_address_format, &pci_bridge, &pci_device_reg, &pci_device_bus_num, &simple_bus_bridge, &simple_bus_reg, &avoid_default_addr_size, &obsolete_chosen_interrupt_controller, &clocks_property, &cooling_device_property, &dmas_property, &hwlocks_property, &interrupts_extended_property, &io_channels_property, &iommus_property, &mboxes_property, &msi_parent_property, &mux_controls_property, &phys_property, &power_domains_property, &pwms_property, &resets_property, &sound_dais_property, &thermal_sensors_property, &deprecated_gpio_property, &gpios_property, &interrupts_property, &always_fail, };
static void enable_warning_error(struct check *c, bool warn, bool error) { int i; /* Raising level, also raise it for prereqs */ if ((warn && !c->warn) || (error && !c->error)) for (i = 0; i < c->num_prereqs; i++) enable_warning_error(c->prereq[i], warn, error); c->warn = c->warn || warn; c->error = c->error || error; }

Contributors

PersonTokensPropCommitsCommitProp
Stephen Warren90100.00%1100.00%
Total90100.00%1100.00%


static void disable_warning_error(struct check *c, bool warn, bool error) { int i; /* Lowering level, also lower it for things this is the prereq * for */ if ((warn && c->warn) || (error && c->error)) { for (i = 0; i < ARRAY_SIZE(check_table); i++) { struct check *cc = check_table[i]; int j; for (j = 0; j < cc->num_prereqs; j++) if (cc->prereq[j] == c) disable_warning_error(cc, warn, error); } } c->warn = c->warn && !warn; c->error = c->error && !error; }

Contributors

PersonTokensPropCommitsCommitProp
Stephen Warren129100.00%1100.00%
Total129100.00%1100.00%


void parse_checks_option(bool warn, bool error, const char *arg) { int i; const char *name = arg; bool enable = true; if ((strncmp(arg, "no-", 3) == 0) || (strncmp(arg, "no_", 3) == 0)) { name = arg + 3; enable = false; } for (i = 0; i < ARRAY_SIZE(check_table); i++) { struct check *c = check_table[i]; if (streq(c->name, name)) { if (enable) enable_warning_error(c, warn, error); else disable_warning_error(c, warn, error); return; } } die("Unrecognized check name \"%s\"\n", name); }

Contributors

PersonTokensPropCommitsCommitProp
Stephen Warren13896.50%150.00%
Rob Herring53.50%150.00%
Total143100.00%2100.00%


void process_checks(bool force, struct dt_info *dti) { int i; int error = 0; for (i = 0; i < ARRAY_SIZE(check_table); i++) { struct check *c = check_table[i]; if (c->warn || c->error) error = error || run_check(c, dti); } if (error) { if (!force) { fprintf(stderr, "ERROR: Input tree has errors, aborting " "(use -f to force output)\n"); exit(2); } else if (quiet < 3) { fprintf(stderr, "Warning: Input tree has errors, " "output forced\n"); } } }

Contributors

PersonTokensPropCommitsCommitProp
David Gibson10492.04%125.00%
Stephen Warren54.42%125.00%
Rob Herring43.54%250.00%
Total113100.00%4100.00%


Overall Contributors

PersonTokensPropCommitsCommitProp
Rob Herring383754.35%763.64%
David Gibson240334.04%218.18%
Stephen Warren4916.95%19.09%
John Bonesio3294.66%19.09%
Total7060100.00%11100.00%
Directory: scripts/dtc
Information contained on this website is for historical information purposes only and does not indicate or represent copyright ownership.
Created with cregit.