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