Lines Matching refs:platform
17 #include <boot/platform.h>
22 #include <platform/openfirmware/openfirmware.h>
197 args.platform.boot_tgz_data = NULL;
198 args.platform.boot_tgz_size = 0;
199 args.platform.fdt_data = NULL;
200 args.platform.fdt_size = 0;
218 (uint32*)&args.platform.fdt_data,
219 &args.platform.fdt_size)) {
220 // found a blob, assume it is FDT data, when working on a platform
222 gFDT = args.platform.fdt_data;
252 args.platform.boot_tgz_data = (void *)initrd_start;
253 args.platform.boot_tgz_size = initrd_end - initrd_start;
255 args.platform.boot_tgz_data, args.platform.boot_tgz_size);
264 (uint32*)&args.platform.boot_tgz_data,
265 &args.platform.boot_tgz_size)) {
267 args.platform.boot_tgz_data, args.platform.boot_tgz_size);
299 if (args.platform.boot_tgz_size > 0) {
300 insert_physical_allocated_range((addr_t)args.platform.boot_tgz_data,
301 args.platform.boot_tgz_size);
311 if (args.platform.boot_tgz_size > 0) {
312 args.platform.boot_tgz_data = (void*)mmu_map_physical_memory((addr_t)
313 args.platform.boot_tgz_data, args.platform.boot_tgz_size,