prom_getpropuint64
uint64_t prom_getpropuint64(int, const char *, uint64_t);
clk = prom_getpropuint64(node, "clock-frequency64", 0);