Searched refs:fdt (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dfdt.h32 void parseFDT(void *fdt);
33 uint32_t fdt_size(void *fdt);
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dfdt.c33 #include <plat/machine/fdt.h>
192 void parseFDT(void *fdt) argument
194 struct fdt_header *header = (struct fdt_header *)fdt;
202 const char *strings = (const char *)((word_t)fdt + bswap(header->off_dt_strings));
203 uint32_t *lex = (uint32_t *)((word_t)fdt + bswap(header->off_dt_struct));
211 uint32_t fdt_size(void *fdt) argument
213 struct fdt_header *header = (struct fdt_header *)fdt;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c30 #include <plat/machine/fdt.h>

Completed in 86 milliseconds