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