Searched refs:sandbox_read_fdt_from_file (Results 1 – 3 of 3) sorted by relevance
83 int sandbox_read_fdt_from_file(void);
241 int sandbox_read_fdt_from_file(void) in sandbox_read_fdt_from_file() function
1263 if (sandbox_read_fdt_from_file()) { in fdtdec_setup()