Searched refs:os_name (Results 1 – 2 of 2) sorted by relevance
130 int fdt_install_initrd(void *fdt, char *os_name, size_t initrd_addr, size_t initrd_size) in fdt_install_initrd() argument181 if (!os_name) in fdt_install_initrd()183 os_name = "rt-thread"; in fdt_install_initrd()
64 int fdt_install_initrd(void *fdt, char *os_name, size_t initrd_addr, size_t initrd_size);
Completed in 3 milliseconds