Searched refs:device_tree (Results 1 – 2 of 2) sorted by relevance
18 boot_shim_return_t boot_shim(void* device_tree);
158 static void* read_device_tree(void* device_tree, device_tree_context_t* ctx) { in read_device_tree() argument169 int ret = dt_init(&dt, device_tree, 0xffffffff); in read_device_tree()217 static void* read_device_tree(void* device_tree, device_tree_context_t* ctx) { in read_device_tree() argument258 boot_shim_return_t boot_shim(void* device_tree) { in boot_shim() argument265 zbi_header_t* zbi = read_device_tree(device_tree, &ctx); in boot_shim()
Completed in 5 milliseconds