fdt_node_property_ints
return fdt_node_property_ints(node, name, out, 1);
int fdt_node_property_ints(void *, char *, int *, int);
return fdt_node_property_ints(node, name, out, 1);
int fdt_node_property_ints(void *, char *, int *, int);
return fdt_node_property_ints(node, name, out, 1);
int fdt_node_property_ints(void *, char *, int *, int);
int fdt_node_property_ints(void *, char *, int *, int);
return fdt_node_property_ints(node, name, out, 1);