Searched refs:fdt_memory (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
| H A D | fdt.c | 78 const char fdt_memory[] = {'m', 'e', 'm', 'o', 'r', 'y', 0}; variable
149 if (strncmp(prop.name, fdt_device_type, 11) == 0 && strncmp((const char*)prop.value, fdt_memory, 6) == 0) {
|
Completed in 28 milliseconds