64     fdt.property_string("device_type", "memory")?;  in create_memory_node()
78         fdt.property_string("device_type", "cpu")?;  in create_cpu_nodes()
79         fdt.property_string("compatible", "arm,arm-v8")?;  in create_cpu_nodes()
81             fdt.property_string("enable-method", "psci")?;  in create_cpu_nodes()
95         fdt.property_string("compatible", "arm,gic-v3")?;  in create_gic_node()
99         fdt.property_string("compatible", "arm,cortex-a15-gic")?;  in create_gic_node()
129     fdt.property_string("compatible", compatible)?;  in create_timer_node()
148     fdt.property_string("compatible", compatible)?;  in create_pmu_node()
159     fdt.property_string("compatible", "ns16550a")?;  in create_serial_node()
190     fdt.property_string("method", "hvc")?;  in create_psci_node()
203     fdt.property_string("bootargs", cmdline)?;  in create_chosen_node()
205     fdt.property_string("stdout-path", &format!("/U6_16550A@{:x}", SERIAL_ADDR[0]))?;  in create_chosen_node()
294     fdt.property_string("compatible", "pci-host-cam-generic")?;  in create_pci_nodes()
295     fdt.property_string("device_type", "pci")?;  in create_pci_nodes()
318     fdt.property_string("compatible", "fixed-clock")?;  in create_rtc_node()
328     fdt.property_string("compatible", "arm,primecell")?;  in create_rtc_node()
333     fdt.property_string("clock-names", "apb_pclk")?;  in create_rtc_node()
375     fdt.property_string("compatible", "linux,dummy-virt")?;  in create_fdt()