举个例子，这个函数怎么使用

好的，这里给一个简单的例子来说明如何使用`fdt_setprop`函数。假设我们要给Device Tree中的一个节点`/chosen`设置一个名为`bootargs`的属性，并将其值设置为字符串`"console=ttyS0,115200"`。代码如下：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <fcntl.h>
#include <unistd.h>
#include <libfdt.h>

int main(int argc, char **argv)
{
    int fd, err;
    void *dtb;
    const char *path = "/chosen";
    const char *propname = "bootargs";
    const char *propval = "console=ttyS0,115200\0";

    // 打开Device Tree文件并将其映射到内存中
    fd = open("/proc/device-tree/dtb", O_RDONLY);
    if (fd < 0) {
        perror("open");
        return -1;
    }
    dtb = mmap(NULL, 4096, PROT_READ, MAP_PRIVATE, fd, 0);
    if (dtb == MAP_FAILED) {
        perror("mmap");
        close(fd);
        return -1;
    }

    // 找到节点并设置属性
    err = fdt_setprop(dtb, fdt_path_offset(dtb, path), propname, propval, strlen(propval) + 1);
    if (err) {
        fprintf(stderr, "fdt_setprop failed with error %d\n", err);
        munmap(dtb, 4096);
        close(fd);
        return -1;
    }

    // 保存修改后的Device Tree文件
    err = fdt_pack(dtb);
    if (err) {
        fprintf(stderr, "fdt_pack failed with error %d\n", err);
        munmap(dtb, 4096);
        close(fd);
        return -1;
    }

    // 关闭文件和内存映射
    munmap(dtb, 4096);
    close(fd);

    return 0;
}

这个例子中，我们首先打开了Device Tree文件`/proc/device-tree/dtb`并将其映射到内存中。然后，通过`fdt_path_offset`函数找到了节点`/chosen`的偏移量，并使用`fdt_setprop`函数设置了它的属性`bootargs`的值为`"console=ttyS0,115200"`。最后，使用`fdt_pack`函数保存修改后的Device Tree文件。值得注意的是，在设置属性值时，需要将字符串的长度加上1，以包含字符串末尾的空字符`\0`。