Searched defs:fdt (Results 1 – 1 of 1) sorted by relevance
1574 void set_files_fdt(u64 fdt) { in set_files_fdt()1825 u64 fdt = r64(files + 0x20); in get_fdarr() local