Searched defs:RISCV_PGSHIFT (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-riscv/ | ||
H A D | boot.c | 25 #define RISCV_PGSHIFT 12 macro |
/seL4-camkes-master/tools/riscv-pk/machine/ | ||
H A D | encoding.h | 198 #define RISCV_PGSHIFT 12 macro |
Completed in 61 milliseconds