OF_setprop
int OF_setprop(phandle_t, const char *, void *, int);
OF_setprop(node, propname, &gicxref, sizeof(gicxref));
OF_setprop(node, "status", "disabled", sizeof("disabled"));
OF_setprop(sb, "bus-frequency", (void *)&freq,
OF_setprop(sb, "bus-frequency", (void *)&freq, sizeof(freq));
if (OF_setprop(node, "ranges", (void *)&ranges[0],
if (OF_setprop(node, "reg", (void *)®[0],
int OF_setprop(phandle_t node, const char *name, const void *buf,
len = OF_setprop(node, name, value, of->of_buflen);