Searched refs:sub_cpu_node (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_vcpu_util.c | 98 int sub_cpu_node = fdt_add_subnode(fdt, cpu_node, cpu_name); local
99 if (sub_cpu_node < 0) {
100 return sub_cpu_node;
102 FDT_OP(fdt_appendprop_string(fdt, sub_cpu_node, "device_type", "cpu"));
103 FDT_OP(fdt_appendprop_string(fdt, sub_cpu_node, "compatible", PLAT_CPU_COMPAT));
104 FDT_OP(fdt_appendprop_u32(fdt, sub_cpu_node, "reg", vcpu->vcpu_id));
106 FDT_OP(fdt_appendprop_string(fdt, sub_cpu_node, "enable-method", "psci"));
|
Completed in 75 milliseconds