Searched refs:fdt (Results 1 – 1 of 1) sorted by relevance
1574 void set_files_fdt(u64 fdt) { in set_files_fdt() argument1575 winfo64(files_off + 0x20, fdt); in set_files_fdt()1825 u64 fdt = r64(files + 0x20); in get_fdarr() local1826 fdarr = r64(fdt + 8); in get_fdarr()