Searched refs:PLAT_CPU_COMPAT (Results 1 - 7 of 7) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a15" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a53" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/odroidc2/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a53" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/tk1/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a15" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/tx1/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a57" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/ |
| H A D | guest_vcpu_util.h | 7 #define PLAT_CPU_COMPAT "arm,cortex-a57-64bit\0arm,armv8" macro
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_vcpu_util.c | 103 FDT_OP(fdt_appendprop_string(fdt, sub_cpu_node, "compatible", PLAT_CPU_COMPAT));
|
Completed in 103 milliseconds