Searched defs:RISCV_GET_LVL_PGSIZE_BITS (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/riscv/arch/machine/ | ||
| H A D | hardware.h | 51 #define RISCV_GET_LVL_PGSIZE_BITS(n) (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_PageBits) macro |
Completed in 28 milliseconds