Searched refs:fdt (Results 1 – 1 of 1) sorted by relevance
1573 void set_files_fdt(u64 fdt) { in set_files_fdt() argument1574 winfo64(files_off + 0x20, fdt); in set_files_fdt()1820 u64 fdt = r64(files + 0x20); in get_fdarr() local1821 fdarr = r64(fdt + 8); in get_fdarr()