def fdt_appendprop_u64(fdt, nodeoffset, name, val): return _libfdt.fdt_appendprop_u64(fdt, nodeoffset, name, val)
def fdt_appendprop_u64(*args): return _libfdt.fdt_appendprop_u64(*args)