Searched refs:query_mem (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/tools/riscv-pk/machine/ | ||
| H A D | fdt.h | 61 void query_mem(uintptr_t fdt); |
| H A D | minit.c | 175 query_mem(dtb); |
| H A D | fdt.c | 191 void query_mem(uintptr_t fdt) function |
Completed in 29 milliseconds